1 # Original Author : David L. Johnson <dlj0@lehigh.edu>
2 # Probably broken by Jean-Marc Lasgouttes <Jean-Marc.Lasgouttes@inria.fr>
3 # modified and modularized by Emmanuel GUREGHIAN <gureghia@boston.bertin.fr>
4 # Tinkered with Sep. '07 by Paul Rubin <rubin@msu.edu>
5 # Modularized Jan 08 by Richard Heck <rgheck@comcast.net>
6 # Hacked June '09 by Paul Rubin <rubin@msu.edu> to use separate counters
8 # The environnements defined are :
21 # - Case (regular only -- defined as an enumeration)
23 # We need separate counters for each theorem-like style.
70 LabelString "Theorem \thetheorem."
81 \newtheorem{thm}{Theorem}
90 LabelString "Corollary \thecorollary."
93 \newtheorem{cor}{Corollary}
95 LabelCounter corollary
102 LabelString "Lemma \thelemma."
105 \newtheorem{lem}{Lemma}
114 LabelString "Proposition \theproposition."
117 \newtheorem{prop}{Proposition}
119 LabelCounter proposition
126 LabelString "Conjecture \theconjecture."
129 \newtheorem{conjecture}{Conjecture}
131 LabelCounter conjecture
138 LabelString "Fact \thefact."
141 \newtheorem{fact}{Fact}
150 LabelString "Definition \thedefinition."
159 \theoremstyle{definition}
160 \newtheorem{defn}{Definition}
162 LabelCounter definition
169 LabelString "Example \theexample."
171 \theoremstyle{definition}
172 \newtheorem{example}{Example}
182 LabelString "Problem \theproblem."
184 \theoremstyle{definition}
185 \newtheorem{problem}{Problem}
195 LabelString "Exercise \theexercise."
197 \theoremstyle{definition}
198 \newtheorem{xca}{Exercise}
201 LabelCounter exercise
208 LabelString "Remark \theremark."
218 \theoremstyle{remark}
219 \newtheorem{rem}{Remark}
228 LabelString "Claim \theclaim."
230 \theoremstyle{remark}
231 \newtheorem{claim}{Claim}
238 # Define Case as an enumeration environment
242 LatexType Item_Environment
246 LeftMargin "Case ###."
253 AlignPossible Block, Left
255 LabelString "Case #."
262 \newenvironment{caseenv}
263 {\begin{list}{{\itshape\ Case} \arabic{casectr}.}{%
264 \setlength{\leftmargin}{\labelwidth}
265 \addtolength{\leftmargin}{\parskip}
266 \setlength{\itemindent}{\listparindent}
267 \setlength{\itemsep}{\medskipamount}
268 \setlength{\topsep}{\itemsep}}
269 \setcounter{casectr}{0}
270 \usecounter{casectr}}