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 :
30 LabelString "Theorem."
34 LabelString "Additional Theorem Text"
35 Tooltip "Additional text appended to the theorem header"
56 \newtheorem*{thm*}{\protect\theoremname}
59 \providecommand{\theoremname}{_(Theorem)}
62 \addto\captions$$lang{\renewcommand{\theoremname}{_(Theorem)}}
71 LabelString "Corollary."
74 \newtheorem*{cor*}{\protect\corollaryname}
77 \providecommand{\corollaryname}{_(Corollary)}
80 \addto\captions$$lang{\renewcommand{\corollaryname}{_(Corollary)}}
91 \newtheorem*{lem*}{\protect\lemmaname}
94 \providecommand{\lemmaname}{_(Lemma)}
97 \addto\captions$$lang{\renewcommand{\lemmaname}{_(Lemma)}}
105 LabelString "Proposition."
108 \newtheorem*{prop*}{\protect\propositionname}
111 \providecommand{\propositionname}{_(Proposition)}
114 \addto\captions$$lang{\renewcommand{\propositionname}{_(Proposition)}}
121 LatexName conjecture*
122 LabelString "Conjecture."
125 \newtheorem*{conjecture*}{\protect\conjecturename}
128 \providecommand{\conjecturename}{_(Conjecture)}
131 \addto\captions$$lang{\renewcommand{\conjecturename}{_(Conjecture)}}
142 \newtheorem*{fact*}{\protect\factname}
145 \providecommand{\factname}{_(Fact)}
148 \addto\captions$$lang{\renewcommand{\factname}{_(Fact)}}
157 LabelString "Definition."
166 \theoremstyle{definition}
167 \newtheorem*{defn*}{\protect\definitionname}
170 \providecommand{\definitionname}{_(Definition)}
173 \addto\captions$$lang{\renewcommand{\definitionname}{_(Definition)}}
179 CopyStyle Definition*
181 LabelString "Example."
183 \theoremstyle{definition}
184 \newtheorem*{example*}{\protect\examplename}
187 \providecommand{\examplename}{_(Example)}
190 \addto\captions$$lang{\renewcommand{\examplename}{_(Example)}}
196 CopyStyle Definition*
198 LabelString "Problem."
200 \theoremstyle{definition}
201 \newtheorem*{problem*}{\protect\problemname}
204 \providecommand{\problemname}{_(Problem)}
207 \addto\captions$$lang{\renewcommand{\problemname}{_(Problem)}}
213 CopyStyle Definition*
215 LabelString "Exercise."
217 \theoremstyle{definition}
218 \newtheorem*{xca*}{\protect\exercisename}
221 \providecommand{\exercisename}{_(Exercise)}
224 \addto\captions$$lang{\renewcommand{\exercisename}{_(Exercise)}}
230 CopyStyle Definition*
232 LabelString "Solution."
234 \theoremstyle{definition}
235 \newtheorem*{sol*}{\protect\solutionname}
238 \providecommand{\solutionname}{_(Solution)}
241 \addto\captions$$lang{\renewcommand{\solutionname}{_(Solution)}}
249 LabelString "Remark."
259 \theoremstyle{remark}
260 \newtheorem*{rem*}{\protect\remarkname}
263 \providecommand{\remarkname}{_(Remark)}
266 \addto\captions$$lang{\renewcommand{\remarkname}{_(Remark)}}
276 \theoremstyle{remark}
277 \newtheorem*{claim*}{\protect\claimname}
280 \providecommand{\claimname}{_(Claim)}
283 \addto\captions$$lang{\renewcommand{\claimname}{_(Claim)}}