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 :
22 # - Case (regular only -- defined as an enumeration)
44 LabelString "Theorem \thetheorem."
55 \newtheorem{thm}{Theorem}
64 LabelString "Corollary \thecorollary."
67 \newtheorem{cor}{Corollary}
69 LabelCounter corollary
76 LabelString "Lemma \thelemma."
79 \newtheorem{lem}{Lemma}
88 LabelString "Proposition \theproposition."
91 \newtheorem{prop}{Proposition}
93 LabelCounter proposition
100 LabelString "Conjecture \theconjecture."
103 \newtheorem{conjecture}{Conjecture}
105 LabelCounter conjecture
112 LabelString "Fact \thefact."
115 \newtheorem{fact}{Fact}
124 LabelString "Definition \thedefinition."
133 \theoremstyle{definition}
134 \newtheorem{defn}{Definition}
136 LabelCounter definition
143 LabelString "Example \theexample."
145 \theoremstyle{definition}
146 \newtheorem{example}{Example}
156 LabelString "Problem \theproblem."
158 \theoremstyle{definition}
159 \newtheorem{problem}{Problem}
169 LabelString "Exercise \theexercise."
171 \theoremstyle{definition}
172 \newtheorem{xca}{Exercise}
175 LabelCounter exercise
182 LabelString "Remark \theremark."
192 \theoremstyle{remark}
193 \newtheorem{rem}{Remark}
202 LabelString "Claim \theclaim."
204 \theoremstyle{remark}
205 \newtheorem{claim}{Claim}
212 # Define Case as an enumeration environment
218 LeftMargin "Case ###."
219 LabelString "Case #."
226 \newenvironment{caseenv}
227 {\begin{list}{{\itshape\ Case} \arabic{casectr}.}{%
228 \setlength{\leftmargin}{\labelwidth}
229 \addtolength{\leftmargin}{\parskip}
230 \setlength{\itemindent}{\listparindent}
231 \setlength{\itemsep}{\medskipamount}
232 \setlength{\topsep}{\itemsep}}
233 \setcounter{casectr}{0}
234 \usecounter{casectr}}