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 Kimberly Heck <rikiheck@lyx.org>
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)}}
71 DocBookAttr role='theorem'
78 LabelString "Corollary."
81 \newtheorem*{cor*}{\protect\corollaryname}
84 \providecommand{\corollaryname}{_(Corollary)}
87 \addto\captions$$lang{\renewcommand{\corollaryname}{_(Corollary)}}
90 DocBookAttr role='corollary'
100 \newtheorem*{lem*}{\protect\lemmaname}
103 \providecommand{\lemmaname}{_(Lemma)}
106 \addto\captions$$lang{\renewcommand{\lemmaname}{_(Lemma)}}
109 DocBookAttr role='lemma'
116 LabelString "Proposition."
119 \newtheorem*{prop*}{\protect\propositionname}
122 \providecommand{\propositionname}{_(Proposition)}
125 \addto\captions$$lang{\renewcommand{\propositionname}{_(Proposition)}}
128 DocBookAttr role='proposition'
134 LatexName conjecture*
135 LabelString "Conjecture."
138 \newtheorem*{conjecture*}{\protect\conjecturename}
141 \providecommand{\conjecturename}{_(Conjecture)}
144 \addto\captions$$lang{\renewcommand{\conjecturename}{_(Conjecture)}}
147 DocBookAttr role='conjecture'
157 \newtheorem*{fact*}{\protect\factname}
160 \providecommand{\factname}{_(Fact)}
163 \addto\captions$$lang{\renewcommand{\factname}{_(Fact)}}
166 DocBookAttr role='fact'
174 LabelString "Definition."
183 \theoremstyle{definition}
184 \newtheorem*{defn*}{\protect\definitionname}
187 \providecommand{\definitionname}{_(Definition)}
190 \addto\captions$$lang{\renewcommand{\definitionname}{_(Definition)}}
193 DocBookAttr role='definition'
198 CopyStyle Definition*
200 LabelString "Example."
202 \theoremstyle{definition}
203 \newtheorem*{example*}{\protect\examplename}
206 \providecommand{\examplename}{_(Example)}
209 \addto\captions$$lang{\renewcommand{\examplename}{_(Example)}}
211 DocBookWrapperTag informalexample
218 CopyStyle Definition*
220 LabelString "Problem."
222 \theoremstyle{definition}
223 \newtheorem*{problem*}{\protect\problemname}
226 \providecommand{\problemname}{_(Problem)}
229 \addto\captions$$lang{\renewcommand{\problemname}{_(Problem)}}
232 DocBookAttr role='problem'
237 CopyStyle Definition*
239 LabelString "Exercise."
241 \theoremstyle{definition}
242 \newtheorem*{xca*}{\protect\exercisename}
245 \providecommand{\exercisename}{_(Exercise)}
248 \addto\captions$$lang{\renewcommand{\exercisename}{_(Exercise)}}
251 DocBookAttr role='exercise'
256 CopyStyle Definition*
258 LabelString "Solution."
260 \theoremstyle{definition}
261 \newtheorem*{sol*}{\protect\solutionname}
264 \providecommand{\solutionname}{_(Solution)}
267 \addto\captions$$lang{\renewcommand{\solutionname}{_(Solution)}}
270 DocBookAttr role='solution'
277 LabelString "Remark."
287 \theoremstyle{remark}
288 \newtheorem*{rem*}{\protect\remarkname}
291 \providecommand{\remarkname}{_(Remark)}
294 \addto\captions$$lang{\renewcommand{\remarkname}{_(Remark)}}
306 \theoremstyle{remark}
307 \newtheorem*{claim*}{\protect\claimname}
310 \providecommand{\claimname}{_(Claim)}
313 \addto\captions$$lang{\renewcommand{\claimname}{_(Claim)}}
316 DocBookAttr role='claim'