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>
7 # The starred environnements defined are :
24 OutlinerName thm "Definitions & Theorems"
32 LabelString "Theorem."
38 LabelString "Additional Theorem Text"
39 Tooltip "Additional text appended to the theorem header"
61 \newtheorem*{thm*}{\protect\theoremname}
64 \providecommand{\theoremname}{_(Theorem)}
67 \addto\captions$$lang{\renewcommand{\theoremname}{_(Theorem)}}
76 LabelString "Corollary."
79 \newtheorem*{cor*}{\protect\corollaryname}
82 \providecommand{\corollaryname}{_(Corollary)}
85 \addto\captions$$lang{\renewcommand{\corollaryname}{_(Corollary)}}
96 \newtheorem*{lem*}{\protect\lemmaname}
99 \providecommand{\lemmaname}{_(Lemma)}
102 \addto\captions$$lang{\renewcommand{\lemmaname}{_(Lemma)}}
110 LabelString "Proposition."
113 \newtheorem*{prop*}{\protect\propositionname}
116 \providecommand{\propositionname}{_(Proposition)}
119 \addto\captions$$lang{\renewcommand{\propositionname}{_(Proposition)}}
126 LatexName conjecture*
127 LabelString "Conjecture."
130 \newtheorem*{conjecture*}{\protect\conjecturename}
133 \providecommand{\conjecturename}{_(Conjecture)}
136 \addto\captions$$lang{\renewcommand{\conjecturename}{_(Conjecture)}}
147 \newtheorem*{fact*}{\protect\factname}
150 \providecommand{\factname}{_(Fact)}
153 \addto\captions$$lang{\renewcommand{\factname}{_(Fact)}}
162 LabelString "Definition."
171 \theoremstyle{definition}
172 \newtheorem*{defn*}{\protect\definitionname}
175 \providecommand{\definitionname}{_(Definition)}
178 \addto\captions$$lang{\renewcommand{\definitionname}{_(Definition)}}
184 CopyStyle Definition*
186 LabelString "Example."
188 \theoremstyle{definition}
189 \newtheorem*{example*}{\protect\examplename}
192 \providecommand{\examplename}{_(Example)}
195 \addto\captions$$lang{\renewcommand{\examplename}{_(Example)}}
201 CopyStyle Definition*
203 LabelString "Problem."
205 \theoremstyle{definition}
206 \newtheorem*{problem*}{\protect\problemname}
209 \providecommand{\problemname}{_(Problem)}
212 \addto\captions$$lang{\renewcommand{\problemname}{_(Problem)}}
218 CopyStyle Definition*
220 LabelString "Exercise."
222 \theoremstyle{definition}
223 \newtheorem*{xca*}{\protect\exercisename}
226 \providecommand{\exercisename}{_(Exercise)}
229 \addto\captions$$lang{\renewcommand{\exercisename}{_(Exercise)}}
235 CopyStyle Definition*
237 LabelString "Solution."
239 \theoremstyle{definition}
240 \newtheorem*{sol*}{\protect\solutionname}
243 \providecommand{\solutionname}{_(Solution)}
246 \addto\captions$$lang{\renewcommand{\solutionname}{_(Solution)}}
254 LabelString "Remark."
264 \theoremstyle{remark}
265 \newtheorem*{rem*}{\protect\remarkname}
268 \providecommand{\remarkname}{_(Remark)}
271 \addto\captions$$lang{\renewcommand{\remarkname}{_(Remark)}}
281 \theoremstyle{remark}
282 \newtheorem*{claim*}{\protect\claimname}
285 \providecommand{\claimname}{_(Claim)}
288 \addto\captions$$lang{\renewcommand{\claimname}{_(Claim)}}