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.
69 LabelString "Theorem \thetheorem."
80 \newtheorem{thm}{Theorem}
89 LabelString "Corollary \thecorollary."
92 \newtheorem{cor}{Corollary}
94 LabelCounter corollary
101 LabelString "Lemma \thelemma."
104 \newtheorem{lem}{Lemma}
113 LabelString "Proposition \theproposition."
116 \newtheorem{prop}{Proposition}
118 LabelCounter proposition
125 LabelString "Conjecture \theconjecture."
128 \newtheorem{conjecture}{Conjecture}
130 LabelCounter conjecture
137 LabelString "Fact \thefact."
140 \newtheorem{fact}{Fact}
149 LabelString "Definition \thedefinition."
158 \theoremstyle{definition}
159 \newtheorem{defn}{Definition}
161 LabelCounter definition
168 LabelString "Example \theexample."
170 \theoremstyle{definition}
171 \newtheorem{example}{Example}
181 LabelString "Problem \theproblem."
183 \theoremstyle{definition}
184 \newtheorem{problem}{Problem}
194 LabelString "Exercise \theexercise."
196 \theoremstyle{definition}
197 \newtheorem{xca}{Exercise}
200 LabelCounter exercise
207 LabelString "Remark \theremark."
217 \theoremstyle{remark}
218 \newtheorem{rem}{Remark}
227 LabelString "Claim \theclaim."
229 \theoremstyle{remark}
230 \newtheorem{claim}{Claim}
237 # Define Case as an enumeration environment
241 LatexType Item_Environment
245 LeftMargin "Case ###."
252 AlignPossible Block, Left
254 LabelString "Case #."
261 \newenvironment{caseenv}
262 {\begin{list}{{\itshape\ Case} \arabic{casectr}.}{%
263 \setlength{\leftmargin}{\labelwidth}
264 \addtolength{\leftmargin}{\parskip}
265 \setlength{\itemindent}{\listparindent}
266 \setlength{\itemsep}{\medskipamount}
267 \setlength{\topsep}{\itemsep}}
268 \setcounter{casectr}{0}
269 \usecounter{casectr}}