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>
6 # Hacked June '09 by Paul Rubin <rubin@msu.edu> to use separate counters
8 # The environments defined are :
22 # - Case (by inclusion)
26 Input theorems-counters-bytype.inc
28 OutlinerName thm "Definitions & Theorems"
40 LabelString "Additional Theorem Text"
41 Tooltip "Additional text appended to the theorem header"
55 LabelString "Theorem \thetheorem."
66 \newtheorem{thm}{\protect\theoremname}
69 \providecommand{\theoremname}{_(Theorem)}
72 \addto\captions$$lang{\renewcommand{\theoremname}{_(Theorem)}}
75 DocBookWrapperTag figure
76 DocBookWrapperAttr role='theorem'
78 DocBookGenerateTitle true
79 DocBookWrapperMergeWithPrevious true
86 LabelString "Corollary \thecorollary."
89 \newtheorem{cor}{\protect\corollaryname}
91 LabelCounter corollary
93 \providecommand{\corollaryname}{_(Corollary)}
96 \addto\captions$$lang{\renewcommand{\corollaryname}{_(Corollary)}}
98 DocBookWrapperTag figure
99 DocBookWrapperAttr role='corollary'
101 DocBookGenerateTitle true
102 DocBookWrapperMergeWithPrevious true
109 LabelString "Lemma \thelemma."
112 \newtheorem{lem}{\protect\lemmaname}
115 \providecommand{\lemmaname}{_(Lemma)}
118 \addto\captions$$lang{\renewcommand{\lemmaname}{_(Lemma)}}
121 DocBookWrapperTag figure
122 DocBookWrapperAttr role='lemma'
124 DocBookGenerateTitle true
125 DocBookWrapperMergeWithPrevious true
132 LabelString "Proposition \theproposition."
135 \newtheorem{prop}{\protect\propositionname}
138 \providecommand{\propositionname}{_(Proposition)}
141 \addto\captions$$lang{\renewcommand{\propositionname}{_(Proposition)}}
143 LabelCounter proposition
144 DocBookWrapperTag figure
145 DocBookWrapperAttr role='proposition'
147 DocBookGenerateTitle true
148 DocBookWrapperMergeWithPrevious true
155 LabelString "Conjecture \theconjecture."
158 \newtheorem{conjecture}{\protect\conjecturename}
161 \providecommand{\conjecturename}{_(Conjecture)}
164 \addto\captions$$lang{\renewcommand{\conjecturename}{_(Conjecture)}}
166 LabelCounter conjecture
167 DocBookWrapperTag figure
168 DocBookWrapperAttr role='conjecture'
170 DocBookGenerateTitle true
171 DocBookWrapperMergeWithPrevious true
178 LabelString "Fact \thefact."
181 \newtheorem{fact}{\protect\factname}
184 \providecommand{\factname}{_(Fact)}
187 \addto\captions$$lang{\renewcommand{\factname}{_(Fact)}}
190 DocBookWrapperTag figure
191 DocBookWrapperAttr role='fact'
193 DocBookGenerateTitle true
194 DocBookWrapperMergeWithPrevious true
201 LabelString "Definition \thedefinition."
210 \theoremstyle{definition}
211 \newtheorem{defn}{\protect\definitionname}
214 \providecommand{\definitionname}{_(Definition)}
217 \addto\captions$$lang{\renewcommand{\definitionname}{_(Definition)}}
219 LabelCounter definition
220 DocBookWrapperTag figure
221 DocBookWrapperAttr role='definition'
223 DocBookGenerateTitle true
224 DocBookWrapperMergeWithPrevious true
231 LabelString "Example \theexample."
233 \theoremstyle{definition}
234 \newtheorem{example}{\protect\examplename}
238 \providecommand{\examplename}{_(Example)}
241 \addto\captions$$lang{\renewcommand{\examplename}{_(Example)}}
244 DocBookWrapperTag informalexample
253 LabelString "Problem \theproblem."
255 \theoremstyle{definition}
256 \newtheorem{problem}{\protect\problemname}
260 \providecommand{\problemname}{_(Problem)}
263 \addto\captions$$lang{\renewcommand{\problemname}{_(Problem)}}
266 DocBookWrapperTag figure
267 DocBookWrapperAttr role='problem'
269 DocBookGenerateTitle true
270 DocBookWrapperMergeWithPrevious true
277 LabelString "Exercise \theexercise."
279 \theoremstyle{definition}
280 \newtheorem{xca}{\protect\exercisename}
284 \providecommand{\exercisename}{_(Exercise)}
287 \addto\captions$$lang{\renewcommand{\exercisename}{_(Exercise)}}
289 LabelCounter exercise
290 DocBookWrapperTag figure
291 DocBookWrapperAttr role='exercise'
293 DocBookGenerateTitle true
294 DocBookWrapperMergeWithPrevious true
301 LabelString "Solution \thesolution."
303 \theoremstyle{definition}
304 \newtheorem{sol}{\protect\solutionname}
308 \providecommand{\solutionname}{_(Solution)}
311 \addto\captions$$lang{\renewcommand{\solutionname}{_(Solution)}}
313 LabelCounter solution
314 DocBookWrapperTag figure
315 DocBookWrapperAttr role='solution'
317 DocBookGenerateTitle true
318 DocBookWrapperMergeWithPrevious true
325 LabelString "Remark \theremark."
335 \theoremstyle{remark}
336 \newtheorem{rem}{\protect\remarkname}
339 \providecommand{\remarkname}{_(Remark)}
342 \addto\captions$$lang{\renewcommand{\remarkname}{_(Remark)}}
345 DocBookWrapperTag figure
346 DocBookWrapperAttr role='remark'
348 DocBookGenerateTitle true
349 DocBookWrapperMergeWithPrevious true
356 LabelString "Claim \theclaim."
358 \theoremstyle{remark}
359 \newtheorem{claim}{\protect\claimname}
363 \providecommand{\claimname}{_(Claim)}
366 \addto\captions$$lang{\renewcommand{\claimname}{_(Claim)}}
369 DocBookWrapperTag figure
370 DocBookWrapperAttr role='claim'
372 DocBookGenerateTitle true
373 DocBookWrapperMergeWithPrevious true
376 Input theorems-case.inc