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
7 # Chapter dependence added Oct '16 by Andrew Parsloe <aparsloe@clear.net.nz>
9 # The environments defined are :
23 # - Case (by inclusion)
26 # We need separate counters for each theorem-like style.
55 OutlinerName thm "Definitions & Theorems"
67 LabelString "Additional Theorem Text"
68 Tooltip "Additional text appended to the theorem header"
82 LabelString "Theorem \thechapter.\thetheorem."
93 \ifx\thechapter\undefined
94 \newtheorem{thm}{\protect\theoremname}
96 \newtheorem{thm}{\protect\theoremname}[chapter]
100 \providecommand{\theoremname}{_(Theorem)}
103 \addto\captions$$lang{\renewcommand{\theoremname}{_(Theorem)}}
112 LabelString "Corollary \thechapter.\thecorollary."
115 \ifx\thechapter\undefined
116 \newtheorem{cor}{\protect\corollaryname}
118 \newtheorem{cor}{\protect\corollaryname}[chapter]
121 LabelCounter corollary
123 \providecommand{\corollaryname}{_(Corollary)}
126 \addto\captions$$lang{\renewcommand{\corollaryname}{_(Corollary)}}
134 LabelString "Lemma \thechapter.\thelemma."
137 \ifx\thechapter\undefined
138 \newtheorem{lem}{\protect\lemmaname}
140 \newtheorem{lem}{\protect\lemmaname}[chapter]
144 \providecommand{\lemmaname}{_(Lemma)}
147 \addto\captions$$lang{\renewcommand{\lemmaname}{_(Lemma)}}
156 LabelString "Proposition \thechapter.\theproposition."
159 \ifx\thechapter\undefined
160 \newtheorem{prop}{\protect\propositionname}
162 \newtheorem{prop}{\protect\propositionname}[chapter]
166 \providecommand{\propositionname}{_(Proposition)}
169 \addto\captions$$lang{\renewcommand{\propositionname}{_(Proposition)}}
171 LabelCounter proposition
178 LabelString "Conjecture \thechapter.\theconjecture."
181 \ifx\thechapter\undefined
182 \newtheorem{conjecture}{\protect\conjecturename}
184 \newtheorem{conjecture}{\protect\conjecturename}[chapter]
188 \providecommand{\conjecturename}{_(Conjecture)}
191 \addto\captions$$lang{\renewcommand{\conjecturename}{_(Conjecture)}}
193 LabelCounter conjecture
200 LabelString "Fact \thechapter.\thefact."
203 \ifx\thechapter\undefined
204 \newtheorem{fact}{\protect\factname}
206 \newtheorem{fact}{\protect\factname}[chapter]
210 \providecommand{\factname}{_(Fact)}
213 \addto\captions$$lang{\renewcommand{\factname}{_(Fact)}}
222 LabelString "Definition \thechapter.\thedefinition."
231 \theoremstyle{definition}
232 \ifx\thechapter\undefined
233 \newtheorem{defn}{\protect\definitionname}
235 \newtheorem{defn}{\protect\definitionname}[chapter]
239 \providecommand{\definitionname}{_(Definition)}
242 \addto\captions$$lang{\renewcommand{\definitionname}{_(Definition)}}
244 LabelCounter definition
251 LabelString "Example \thechapter.\theexample."
253 \theoremstyle{definition}
254 \ifx\thechapter\undefined
255 \newtheorem{example}{\protect\examplename}
257 \newtheorem{example}{\protect\examplename}[chapter]
262 \providecommand{\examplename}{_(Example)}
265 \addto\captions$$lang{\renewcommand{\examplename}{_(Example)}}
274 LabelString "Problem \thechapter.\theproblem."
276 \theoremstyle{definition}
277 \ifx\thechapter\undefined
278 \newtheorem{problem}{\protect\problemname}
280 \newtheorem{problem}{\protect\problemname}[chapter]
285 \providecommand{\problemname}{_(Problem)}
288 \addto\captions$$lang{\renewcommand{\problemname}{_(Problem)}}
297 LabelString "Exercise \thechapter.\theexercise."
299 \theoremstyle{definition}
300 \ifx\thechapter\undefined
301 \newtheorem{xca}{\protect\exercisename}
303 \newtheorem{xca}{\protect\exercisename}[chapter]
308 \providecommand{\exercisename}{_(Exercise)}
311 \addto\captions$$lang{\renewcommand{\exercisename}{_(Exercise)}}
313 LabelCounter exercise
320 LabelString "Solution \thechapter.\thesolution."
322 \theoremstyle{definition}
323 \ifx\thechapter\undefined
324 \newtheorem{sol}{\protect\solutionname}
326 \newtheorem{sol}{\protect\solutionname}[chapter]
331 \providecommand{\solutionname}{_(Solution)}
334 \addto\captions$$lang{\renewcommand{\solutionname}{_(Solution)}}
336 LabelCounter solution
343 LabelString "Remark \thechapter.\theremark."
353 \theoremstyle{remark}
354 \ifx\thechapter\undefined
355 \newtheorem{rem}{\protect\remarkname}
357 \newtheorem{rem}{\protect\remarkname}[chapter]
361 \providecommand{\remarkname}{_(Remark)}
364 \addto\captions$$lang{\renewcommand{\remarkname}{_(Remark)}}
373 LabelString "Claim \thechapter.\theclaim."
375 \theoremstyle{remark}
376 \ifx\thechapter\undefined
377 \newtheorem{claim}{\protect\claimname}
379 \newtheorem{claim}{\protect\claimname}[chapter]
384 \providecommand{\claimname}{_(Claim)}
387 \addto\captions$$lang{\renewcommand{\claimname}{_(Claim)}}
393 Input theorems-case.inc