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.
81 OutlinerName thm "Definitions & Theorems"
93 LabelString "Additional Theorem Text"
94 Tooltip "Additional text appended to the theorem header"
108 LabelString "Theorem \thetheorem."
119 \ifx\thechapter\undefined
120 \newtheorem{thm}{\protect\theoremname}
122 \newtheorem{thm}{\protect\theoremname}[chapter]
126 \providecommand{\theoremname}{_(Theorem)}
129 \addto\captions$$lang{\renewcommand{\theoremname}{_(Theorem)}}
138 LabelString "Corollary \thecorollary."
141 \ifx\thechapter\undefined
142 \newtheorem{cor}{\protect\corollaryname}
144 \newtheorem{cor}{\protect\corollaryname}[chapter]
147 LabelCounter corollary
149 \providecommand{\corollaryname}{_(Corollary)}
152 \addto\captions$$lang{\renewcommand{\corollaryname}{_(Corollary)}}
160 LabelString "Lemma \thelemma."
163 \ifx\thechapter\undefined
164 \newtheorem{lem}{\protect\lemmaname}
166 \newtheorem{lem}{\protect\lemmaname}[chapter]
170 \providecommand{\lemmaname}{_(Lemma)}
173 \addto\captions$$lang{\renewcommand{\lemmaname}{_(Lemma)}}
182 LabelString "Proposition \theproposition."
185 \ifx\thechapter\undefined
186 \newtheorem{prop}{\protect\propositionname}
188 \newtheorem{prop}{\protect\propositionname}[chapter]
192 \providecommand{\propositionname}{_(Proposition)}
195 \addto\captions$$lang{\renewcommand{\propositionname}{_(Proposition)}}
197 LabelCounter proposition
204 LabelString "Conjecture \theconjecture."
207 \ifx\thechapter\undefined
208 \newtheorem{conjecture}{\protect\conjecturename}
210 \newtheorem{conjecture}{\protect\conjecturename}[chapter]
214 \providecommand{\conjecturename}{_(Conjecture)}
217 \addto\captions$$lang{\renewcommand{\conjecturename}{_(Conjecture)}}
219 LabelCounter conjecture
226 LabelString "Fact \thefact."
229 \ifx\thechapter\undefined
230 \newtheorem{fact}{\protect\factname}
232 \newtheorem{fact}{\protect\factname}[chapter]
236 \providecommand{\factname}{_(Fact)}
239 \addto\captions$$lang{\renewcommand{\factname}{_(Fact)}}
248 LabelString "Definition \thedefinition."
257 \theoremstyle{definition}
258 \ifx\thechapter\undefined
259 \newtheorem{defn}{\protect\definitionname}
261 \newtheorem{defn}{\protect\definitionname}[chapter]
265 \providecommand{\definitionname}{_(Definition)}
268 \addto\captions$$lang{\renewcommand{\definitionname}{_(Definition)}}
270 LabelCounter definition
277 LabelString "Example \theexample."
279 \theoremstyle{definition}
280 \ifx\thechapter\undefined
281 \newtheorem{example}{\protect\examplename}
283 \newtheorem{example}{\protect\examplename}[chapter]
288 \providecommand{\examplename}{_(Example)}
291 \addto\captions$$lang{\renewcommand{\examplename}{_(Example)}}
300 LabelString "Problem \theproblem."
302 \theoremstyle{definition}
303 \ifx\thechapter\undefined
304 \newtheorem{problem}{\protect\problemname}
306 \newtheorem{problem}{\protect\problemname}[chapter]
311 \providecommand{\problemname}{_(Problem)}
314 \addto\captions$$lang{\renewcommand{\problemname}{_(Problem)}}
323 LabelString "Exercise \theexercise."
325 \theoremstyle{definition}
326 \ifx\thechapter\undefined
327 \newtheorem{xca}{\protect\exercisename}
329 \newtheorem{xca}{\protect\exercisename}[chapter]
334 \providecommand{\exercisename}{_(Exercise)}
337 \addto\captions$$lang{\renewcommand{\exercisename}{_(Exercise)}}
339 LabelCounter exercise
346 LabelString "Solution \thesolution."
348 \theoremstyle{definition}
349 \ifx\thechapter\undefined
350 \newtheorem{sol}{\protect\solutionname}
352 \newtheorem{sol}{\protect\solutionname}[chapter]
357 \providecommand{\solutionname}{_(Solution)}
360 \addto\captions$$lang{\renewcommand{\solutionname}{_(Solution)}}
362 LabelCounter solution
369 LabelString "Remark \theremark."
379 \theoremstyle{remark}
380 \ifx\thechapter\undefined
381 \newtheorem{rem}{\protect\remarkname}
383 \newtheorem{rem}{\protect\remarkname}[chapter]
387 \providecommand{\remarkname}{_(Remark)}
390 \addto\captions$$lang{\renewcommand{\remarkname}{_(Remark)}}
401 LabelString "Claim \theclaim."
403 \theoremstyle{remark}
404 \ifx\thechapter\undefined
405 \newtheorem{claim}{\protect\claimname}
407 \newtheorem{claim}{\protect\claimname}[chapter]
412 \providecommand{\claimname}{_(Claim)}
415 \addto\captions$$lang{\renewcommand{\claimname}{_(Claim)}}
421 Input theorems-case.inc