1 # This file provides theorem environments without adding preamble code or
2 # requiring packages. THis is useful for classes that define their own theorems
3 # like svjour3 or ijmpc.
4 # Author: Uwe Stöhr <uwestoehr@web.de>
6 # The environnements defined are :
22 # - Case (defined without a counter)
51 LabelString "Theorem \thetheorem"
61 \providecommand{\theoremname}{_(Theorem)}
64 \addto\captions$$lang{\renewcommand{\theoremname}{_(Theorem)}}
73 LabelCounter corollary
75 LabelString "Corollary \thecorollary"
77 \providecommand{\corollaryname}{_(Corollary)}
80 \addto\captions$$lang{\renewcommand{\corollaryname}{_(Corollary)}}
91 LabelString "Lemma \thelemma"
93 \providecommand{\lemmaname}{_(Lemma)}
96 \addto\captions$$lang{\renewcommand{\lemmaname}{_(Lemma)}}
105 LabelCounter proposition
106 LatexName proposition
107 LabelString "Proposition \theproposition"
109 \providecommand{\propositionname}{_(Proposition)}
112 \addto\captions$$lang{\renewcommand{\propositionname}{_(Proposition)}}
123 LabelString "Prop \theprop."
131 \providecommand{\propname}{_(Prop)}
134 \addto\captions$$lang{\renewcommand{\propname}{_(Prop)}}
143 LabelCounter conjecture
145 LabelString "Conjecture \theconjecture"
154 \providecommand{\conjecturename}{_(Conjecture)}
157 \addto\captions$$lang{\renewcommand{\conjecturename}{_(Conjecture)}}
168 LabelString "Fact \thefact."
170 \providecommand{\factname}{_(Fact)}
173 \addto\captions$$lang{\renewcommand{\factname}{_(Fact)}}
182 LabelCounter definition
184 LabelString "Definition \thedefinition"
194 \providecommand{\definitionname}{_(Definition)}
197 \addto\captions$$lang{\renewcommand{\definitionname}{_(Definition)}}
208 LabelString "Example \theexample"
211 \providecommand{\examplename}{_(Example)}
214 \addto\captions$$lang{\renewcommand{\examplename}{_(Example)}}
226 LabelString "Problem \theproblem"
231 \providecommand{\problemname}{_(Problem)}
234 \addto\captions$$lang{\renewcommand{\problemname}{_(Problem)}}
246 LabelString "\theprob"
254 LabelCounter solution
256 LabelString "Solution \thesolution"
259 \providecommand{\solutionname}{_(Solution)}
262 \addto\captions$$lang{\renewcommand{\solutionname}{_(Solution)}}
271 LabelCounter exercise
273 LabelString "Exercise \theexercise"
276 \providecommand{\exercisename}{_(Exercise)}
279 \addto\captions$$lang{\renewcommand{\exercisename}{_(Exercise)}}
290 LabelString "Remark \theremark"
293 \providecommand{\remarkname}{_(Remark)}
296 \addto\captions$$lang{\renewcommand{\remarkname}{_(Remark)}}
306 \providecommand{\claimname}{_(Claim)}
309 \addto\captions$$lang{\renewcommand{\claimname}{_(Claim)}}
320 LabelString "Case \thecase"
323 \providecommand{\casename}{_(Case)}
326 \addto\captions$$lang{\renewcommand{\casename}{_(Case)}}
335 LabelCounter property
337 LabelString "Property \theproperty"
340 \providecommand{\propertyname}{_(Property)}
343 \addto\captions$$lang{\renewcommand{\propertyname}{_(Property)}}
352 LabelCounter question
354 LabelString "Question \thequestion"
357 \providecommand{\questionname}{_(Question)}
360 \addto\captions$$lang{\renewcommand{\questionname}{_(Question)}}
371 LabelString "Note \thenote"
374 \providecommand{\notename}{_(Note)}
377 \addto\captions$$lang{\renewcommand{\notename}{_(Note)}}