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>
14 # Paul Rubin <rubin@msu.edu>: modified theorem counter so numbering does
15 # not restart within sections.
20 # Change the definitions of the theorem-like environments to get a
23 Input amsmaths-seq.inc
25 # Use a simpler preamble.
141 # Do not restart theorem counter after section change
148 LabelString "Theorem \arabic{thm}."
153 LabelCounter corollary
154 LabelString "Corollary \arabic{corollary}."
160 LabelString "Lemma \arabic{lemma}."
165 LabelCounter proposition
166 LabelString "Proposition \arabic{proposition}."
171 LabelCounter conjecture
172 LabelString "Conjecture \arabic{conjecture}."
177 LabelCounter criterion
178 LabelString "Criterion \arabic{criterion}."
183 LabelCounter algorithm
184 LabelString "Algorithm \arabic{algorithm}."
190 LabelString "Fact \arabic{fact}."
196 LabelString "Axiom \arabic{axiom}."
201 LabelCounter definition
202 LabelString "Definition \arabic{definition}."
208 LabelString "Example \arabic{example}."
213 LabelCounter condition
214 LabelString "Condition \arabic{condition}."
220 LabelString "Problem \arabic{problem}."
225 LabelCounter exercise
226 LabelString "Exercise \arabic{exercise}."
232 LabelString "Remark \arabic{remark}."
238 LabelString "Claim \arabic{claim}."
244 LabelString "Note \arabic{note}."
249 LabelCounter notation
250 LabelString "Notation \arabic{notation}."
256 LabelString "Summary \arabic{summary}."
260 Style Acknowledgement
261 LabelCounter acknowledgement
262 LabelString "Acknowledgement \arabic{acknowledgement}."
268 LabelString "Case \arabic{case}."
273 LabelCounter conclusion
274 LabelString "Conclusion \arabic{conclusion}."
278 LabelCounter assumption
279 LabelString "Assumption \arabic{assumption}."