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 :
21 # - 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)}}
243 LabelCounter solution
245 LabelString "Solution \thesolution"
248 \providecommand{\solutionname}{_(Solution)}
251 \addto\captions$$lang{\renewcommand{\solutionname}{_(Solution)}}
260 LabelCounter exercise
262 LabelString "Exercise \theexercise"
265 \providecommand{\exercisename}{_(Exercise)}
268 \addto\captions$$lang{\renewcommand{\exercisename}{_(Exercise)}}
279 LabelString "Remark \theremark"
282 \providecommand{\remarkname}{_(Remark)}
285 \addto\captions$$lang{\renewcommand{\remarkname}{_(Remark)}}
295 \providecommand{\claimname}{_(Claim)}
298 \addto\captions$$lang{\renewcommand{\claimname}{_(Claim)}}
309 LabelString "Case \thecase"
312 \providecommand{\casename}{_(Case)}
315 \addto\captions$$lang{\renewcommand{\casename}{_(Case)}}
324 LabelCounter property
326 LabelString "Property \theproperty"
329 \providecommand{\propertyname}{_(Property)}
332 \addto\captions$$lang{\renewcommand{\propertyname}{_(Property)}}
341 LabelCounter question
343 LabelString "Question \thequestion"
346 \providecommand{\questionname}{_(Question)}
349 \addto\captions$$lang{\renewcommand{\questionname}{_(Question)}}
360 LabelString "Note \thenote"
363 \providecommand{\notename}{_(Note)}
366 \addto\captions$$lang{\renewcommand{\notename}{_(Note)}}
377 LabelString "\theprob"