1 #% Do not delete the line below; configure depends on this
2 # \DeclareLaTeXClass[amsart]{article (AMS, sequential numbering)}
3 # AMS-Article textclass definition file. Taken from initial LyX source code
4 # and from the Article textclass definition file, following the AMS sample
5 # paper "testmath.tex" of January, 1995
6 # Author : David L. Johnson <dlj0@lehigh.edu>
8 # The "seq" version has all results, figures, etc., numbered in a separate
9 # sequence, without section numbers attached (Theorem (1), Corollary (1),
12 # Probably broken by Jean-Marc Lasgouttes <Jean-Marc.Lasgouttes@inria.fr>
13 # modified and modularized by Emmanuel GUREGHIAN <gureghia@boston.bertin.fr>
18 # Change the definitions of the theorem-like environments to get a
21 Input amsmaths-seq.inc
23 # Use a simpler preamble.
139 LabelString "Theorem \arabic{theorem}."
144 LabelCounter corollary
145 LabelString "Corollary \arabic{corollary}."
151 LabelString "Lemma \arabic{lemma}."
156 LabelCounter proposition
157 LabelString "Proposition \arabic{proposition}."
162 LabelCounter conjecture
163 LabelString "Conjecture \arabic{conjecture}."
168 LabelCounter criterion
169 LabelString "Criterion \arabic{criterion}."
174 LabelCounter algorithm
175 LabelString "Algorithm \arabic{algorithm}."
181 LabelString "Fact \arabic{fact}."
187 LabelString "Axiom \arabic{axiom}."
192 LabelCounter definition
193 LabelString "Definition \arabic{definition}."
199 LabelString "Example \arabic{example}."
204 LabelCounter condition
205 LabelString "Condition \arabic{condition}."
211 LabelString "Problem \arabic{problem}."
216 LabelCounter exercise
217 LabelString "Exercise \arabic{exercise}."
223 LabelString "Remark \arabic{remark}."
229 LabelString "Claim \arabic{claim}."
235 LabelString "Note \arabic{note}."
240 LabelCounter notation
241 LabelString "Notation \arabic{notation}."
247 LabelString "Summary \arabic{summary}."
251 Style Acknowledgement
252 LabelCounter acknowledgement
253 LabelString "Acknowledgement \arabic{acknowledgement}."
259 LabelString "Case \arabic{case}."
264 LabelCounter conclusion
265 LabelString "Conclusion \arabic{conclusion}."