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>
17 # Change the definitions of the theorem-like environments to get a
20 Input amsmaths-seq.inc
22 # Use a simpler preamble.
138 LabelString "Theorem \arabic{theorem}."
143 LabelCounter corollary
144 LabelString "Corollary \arabic{corollary}."
150 LabelString "Lemma \arabic{lemma}."
155 LabelCounter proposition
156 LabelString "Proposition \arabic{proposition}."
161 LabelCounter conjecture
162 LabelString "Conjecture \arabic{conjecture}."
167 LabelCounter criterion
168 LabelString "Criterion \arabic{criterion}."
173 LabelCounter algorithm
174 LabelString "Algorithm \arabic{algorithm}."
180 LabelString "Fact \arabic{fact}."
186 LabelString "Axiom \arabic{axiom}."
191 LabelCounter definition
192 LabelString "Definition \arabic{definition}."
198 LabelString "Example \arabic{example}."
203 LabelCounter condition
204 LabelString "Condition \arabic{condition}."
210 LabelString "Problem \arabic{problem}."
216 LabelString "Exercise \arabic{execise}."
222 LabelString "Remark \arabic{remark}."
228 LabelString "Claim \arabic{claim}."
234 LabelString "Note \arabic{note}."
239 LabelCounter notation
240 LabelString "Notation \arabic{notation}."
246 LabelString "Summary \arabic{summary}."
250 Style Acknowledgement
251 LabelCounter acknowledgement
252 LabelString "Acknowledgement \arabic{acknowledgement}."
258 LabelString "Case \arabic{case}."
263 LabelCounter conclusion
264 LabelString "Conclusion \arabic{conclusion}."