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 environments defined are :
22 # - Case (by inclusion)
34 LabelString "Additional Theorem Text"
35 Tooltip "Additional text appended to the theorem header"
48 LabelString "Theorem \thetheorem."
59 \newtheorem{thm}{\protect\theoremname}
62 \providecommand{\theoremname}{_(Theorem)}
65 \addto\captions$$lang{\renewcommand{\theoremname}{_(Theorem)}}
74 LabelString "Corollary \thecorollary."
77 \newtheorem{cor}{\protect\corollaryname}
80 \providecommand{\corollaryname}{_(Corollary)}
83 \addto\captions$$lang{\renewcommand{\corollaryname}{_(Corollary)}}
85 LabelCounter corollary
92 LabelString "Lemma \thelemma."
95 \newtheorem{lem}{\protect\lemmaname}
98 \providecommand{\lemmaname}{_(Lemma)}
101 \addto\captions$$lang{\renewcommand{\lemmaname}{_(Lemma)}}
110 LabelString "Proposition \theproposition."
113 \newtheorem{prop}{\protect\propositionname}
116 \providecommand{\propositionname}{_(Proposition)}
119 \addto\captions$$lang{\renewcommand{\propositionname}{_(Proposition)}}
121 LabelCounter proposition
128 LabelString "Conjecture \theconjecture."
131 \newtheorem{conjecture}{\protect\conjecturename}
134 \providecommand{\conjecturename}{_(Conjecture)}
137 \addto\captions$$lang{\renewcommand{\conjecturename}{_(Conjecture)}}
139 LabelCounter conjecture
146 LabelString "Fact \thefact."
149 \newtheorem{fact}{\protect\factname}
152 \providecommand{\factname}{_(Fact)}
155 \addto\captions$$lang{\renewcommand{\factname}{_(Fact)}}
164 LabelString "Definition \thedefinition."
173 \theoremstyle{definition}
174 \newtheorem{defn}{\protect\definitionname}
177 \providecommand{\definitionname}{_(Definition)}
180 \addto\captions$$lang{\renewcommand{\definitionname}{_(Definition)}}
182 LabelCounter definition
189 LabelString "Example \theexample."
191 \theoremstyle{definition}
192 \newtheorem{example}{\protect\examplename}
196 \providecommand{\examplename}{_(Example)}
199 \addto\captions$$lang{\renewcommand{\examplename}{_(Example)}}
208 LabelString "Problem \theproblem."
210 \theoremstyle{definition}
211 \newtheorem{problem}{\protect\problemname}
215 \providecommand{\problemname}{_(Problem)}
218 \addto\captions$$lang{\renewcommand{\problemname}{_(Problem)}}
227 LabelString "Exercise \theexercise."
229 \theoremstyle{definition}
230 \newtheorem{xca}{\protect\exercisename}
234 \providecommand{\exercisename}{_(Exercise)}
237 \addto\captions$$lang{\renewcommand{\exercisename}{_(Exercise)}}
239 LabelCounter exercise
246 LabelString "Remark \theremark."
256 \theoremstyle{remark}
257 \newtheorem{rem}{\protect\remarkname}
260 \providecommand{\remarkname}{_(Remark)}
263 \addto\captions$$lang{\renewcommand{\remarkname}{_(Remark)}}
272 LabelString "Claim \theclaim."
274 \theoremstyle{remark}
275 \newtheorem{claim}{\protect\claimname}
279 \providecommand{\claimname}{_(Claim)}
282 \addto\captions$$lang{\renewcommand{\claimname}{_(Claim)}}
287 Input theorems-case.inc
288 Input theorems-refprefix.inc