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.
68 OutlinerName thm "Definitions & Theorems"
80 LabelString "Additional Theorem Text"
81 Tooltip "Additional text appended to the theorem header"
95 LabelString "Theorem \thechapter.\thetheorem."
106 \ifx\thechapter\undefined
107 \newtheorem{thm}{\protect\theoremname}
109 \newtheorem{thm}{\protect\theoremname}[chapter]
113 \providecommand{\theoremname}{_(Theorem)}
116 \addto\captions$$lang{\renewcommand{\theoremname}{_(Theorem)}}
125 LabelString "Corollary \thechapter.\thecorollary."
128 \ifx\thechapter\undefined
129 \newtheorem{cor}{\protect\corollaryname}
131 \newtheorem{cor}{\protect\corollaryname}[chapter]
134 LabelCounter corollary
136 \providecommand{\corollaryname}{_(Corollary)}
139 \addto\captions$$lang{\renewcommand{\corollaryname}{_(Corollary)}}
147 LabelString "Lemma \thechapter.\thelemma."
150 \ifx\thechapter\undefined
151 \newtheorem{lem}{\protect\lemmaname}
153 \newtheorem{lem}{\protect\lemmaname}[chapter]
157 \providecommand{\lemmaname}{_(Lemma)}
160 \addto\captions$$lang{\renewcommand{\lemmaname}{_(Lemma)}}
169 LabelString "Proposition \thechapter.\theproposition."
172 \ifx\thechapter\undefined
173 \newtheorem{prop}{\protect\propositionname}
175 \newtheorem{prop}{\protect\propositionname}[chapter]
179 \providecommand{\propositionname}{_(Proposition)}
182 \addto\captions$$lang{\renewcommand{\propositionname}{_(Proposition)}}
184 LabelCounter proposition
191 LabelString "Conjecture \thechapter.\theconjecture."
194 \ifx\thechapter\undefined
195 \newtheorem{conjecture}{\protect\conjecturename}
197 \newtheorem{conjecture}{\protect\conjecturename}[chapter]
201 \providecommand{\conjecturename}{_(Conjecture)}
204 \addto\captions$$lang{\renewcommand{\conjecturename}{_(Conjecture)}}
206 LabelCounter conjecture
213 LabelString "Fact \thechapter.\thefact."
216 \ifx\thechapter\undefined
217 \newtheorem{fact}{\protect\factname}
219 \newtheorem{fact}{\protect\factname}[chapter]
223 \providecommand{\factname}{_(Fact)}
226 \addto\captions$$lang{\renewcommand{\factname}{_(Fact)}}
235 LabelString "Definition \thechapter.\thedefinition."
244 \theoremstyle{definition}
245 \ifx\thechapter\undefined
246 \newtheorem{defn}{\protect\definitionname}
248 \newtheorem{defn}{\protect\definitionname}[chapter]
252 \providecommand{\definitionname}{_(Definition)}
255 \addto\captions$$lang{\renewcommand{\definitionname}{_(Definition)}}
257 LabelCounter definition
264 LabelString "Example \thechapter.\theexample."
266 \theoremstyle{definition}
267 \ifx\thechapter\undefined
268 \newtheorem{example}{\protect\examplename}
270 \newtheorem{example}{\protect\examplename}[chapter]
275 \providecommand{\examplename}{_(Example)}
278 \addto\captions$$lang{\renewcommand{\examplename}{_(Example)}}
287 LabelString "Problem \thechapter.\theproblem."
289 \theoremstyle{definition}
290 \ifx\thechapter\undefined
291 \newtheorem{problem}{\protect\problemname}
293 \newtheorem{problem}{\protect\problemname}[chapter]
298 \providecommand{\problemname}{_(Problem)}
301 \addto\captions$$lang{\renewcommand{\problemname}{_(Problem)}}
310 LabelString "Exercise \thechapter.\theexercise."
312 \theoremstyle{definition}
313 \ifx\thechapter\undefined
314 \newtheorem{xca}{\protect\exercisename}
316 \newtheorem{xca}{\protect\exercisename}[chapter]
321 \providecommand{\exercisename}{_(Exercise)}
324 \addto\captions$$lang{\renewcommand{\exercisename}{_(Exercise)}}
326 LabelCounter exercise
333 LabelString "Solution \thechapter.\thesolution."
335 \theoremstyle{definition}
336 \ifx\thechapter\undefined
337 \newtheorem{sol}{\protect\solutionname}
339 \newtheorem{sol}{\protect\solutionname}[chapter]
344 \providecommand{\solutionname}{_(Solution)}
347 \addto\captions$$lang{\renewcommand{\solutionname}{_(Solution)}}
349 LabelCounter solution
356 LabelString "Remark \thechapter.\theremark."
366 \theoremstyle{remark}
367 \ifx\thechapter\undefined
368 \newtheorem{rem}{\protect\remarkname}
370 \newtheorem{rem}{\protect\remarkname}[chapter]
374 \providecommand{\remarkname}{_(Remark)}
377 \addto\captions$$lang{\renewcommand{\remarkname}{_(Remark)}}
386 LabelString "Claim \thechapter.\theclaim."
388 \theoremstyle{remark}
389 \ifx\thechapter\undefined
390 \newtheorem{claim}{\protect\claimname}
392 \newtheorem{claim}{\protect\claimname}[chapter]
397 \providecommand{\claimname}{_(Claim)}
400 \addto\captions$$lang{\renewcommand{\claimname}{_(Claim)}}
406 Input theorems-case.inc