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.
68 LabelString "Theorem \thetheorem."
79 \newtheorem{thm}{Theorem}
88 LabelString "Corollary \thecorollary."
91 \newtheorem{cor}{Corollary}
93 LabelCounter corollary
100 LabelString "Lemma \thelemma."
103 \newtheorem{lem}{Lemma}
112 LabelString "Proposition \theproposition."
115 \newtheorem{prop}{Proposition}
117 LabelCounter proposition
124 LabelString "Conjecture \theconjecture."
127 \newtheorem{conjecture}{Conjecture}
129 LabelCounter conjecture
136 LabelString "Fact \thefact."
139 \newtheorem{fact}{Fact}
148 LabelString "Definition \thedefinition."
157 \theoremstyle{definition}
158 \newtheorem{defn}{Definition}
160 LabelCounter definition
167 LabelString "Example \theexample."
169 \theoremstyle{definition}
170 \newtheorem{example}{Example}
180 LabelString "Problem \theproblem."
182 \theoremstyle{definition}
183 \newtheorem{problem}{Problem}
193 LabelString "Exercise \theexercise."
195 \theoremstyle{definition}
196 \newtheorem{xca}{Exercise}
199 LabelCounter exercise
206 LabelString "Remark \theremark."
216 \theoremstyle{remark}
217 \newtheorem{rem}{Remark}
226 LabelString "Claim \theclaim."
228 \theoremstyle{remark}
229 \newtheorem{claim}{Claim}
236 # Define Case as an enumeration environment
240 LatexType Item_Environment
244 LeftMargin "Case ###."
251 AlignPossible Block, Left
253 LabelString "Case #."
260 \newenvironment{caseenv}
261 {\begin{list}{{\itshape\ Case} \arabic{casectr}.}{%
262 \setlength{\leftmargin}{\labelwidth}
263 \addtolength{\leftmargin}{\parskip}
264 \setlength{\itemindent}{\listparindent}
265 \setlength{\itemsep}{\medskipamount}
266 \setlength{\topsep}{\itemsep}}
267 \setcounter{casectr}{0}
268 \usecounter{casectr}}