# and from the Article textclass definition file, following the AMS sample
# paper "testmath.tex" of January, 1995
# Author : David L. Johnson <dlj0@lehigh.edu>
+#
# The "seq" version has all results, figures, etc., numbered in a separate
-# sequence, without section numbers attached (Theorem (1), Corollary (1), Theorem
-# (2), etc.).
+# sequence, without section numbers attached (Theorem (1), Corollary (1),
+# Theorem (2), etc.).
+#
# Probably broken by Jean-Marc Lasgouttes <Jean-Marc.Lasgouttes@inria.fr>
# modified and modularized by Emmanuel GUREGHIAN <gureghia@boston.bertin.fr>
+Format 4
Input amsart.layout
+
# Change the definitions of the theorem-like environments to get a
# better numbering.
+
Input amsmaths-seq.inc
# Use a simpler preamble.
-Preamble
+Preamble
EndPreamble
+
+# but more counters
+
+Counter
+ Name corollary
+End
+
+
+Counter
+ Name lemma
+End
+
+
+Counter
+ Name proposition
+End
+
+
+Counter
+ Name conjecture
+End
+
+
+Counter
+ Name criterion
+End
+
+
+Counter
+ Name algorithm
+End
+
+
+Counter
+ Name fact
+End
+
+
+Counter
+ Name axiom
+End
+
+
+Counter
+ Name definition
+End
+
+
+Counter
+ Name example
+End
+
+
+Counter
+ Name condition
+End
+
+
+Counter
+ Name problem
+End
+
+
+Counter
+ Name exercise
+End
+
+
+Counter
+ Name remark
+End
+
+
+Counter
+ Name claim
+End
+
+
+Counter
+ Name note
+End
+
+
+Counter
+ Name notation
+End
+
+
+Counter
+ Name summary
+End
+
+
+Counter
+ Name acknowledgement
+End
+
+
+Counter
+ Name case
+End
+
+
+Counter
+ Name conclusion
+End
+
+
+
+Style Theorem
+ LabelCounter theorem
+ LabelString "Theorem \arabic{theorem}."
+End
+
+
+Style Corollary
+ LabelCounter corollary
+ LabelString "Corollary \arabic{corollary}."
+End
+
+
+Style Lemma
+ LabelCounter lemma
+ LabelString "Lemma \arabic{lemma}."
+End
+
+
+Style Proposition
+ LabelCounter proposition
+ LabelString "Proposition \arabic{proposition}."
+End
+
+
+Style Conjecture
+ LabelCounter conjecture
+ LabelString "Conjecture \arabic{conjecture}."
+End
+
+
+Style Criterion
+ LabelCounter criterion
+ LabelString "Criterion \arabic{criterion}."
+End
+
+
+Style Algorithm
+ LabelCounter algorithm
+ LabelString "Algorithm \arabic{algorithm}."
+End
+
+
+Style Fact
+ LabelCounter fact
+ LabelString "Fact \arabic{fact}."
+End
+
+
+Style Axiom
+ LabelCounter axiom
+ LabelString "Axiom \arabic{axiom}."
+End
+
+
+Style Definition
+ LabelCounter definition
+ LabelString "Definition \arabic{definition}."
+End
+
+
+Style Example
+ LabelCounter example
+ LabelString "Example \arabic{example}."
+End
+
+
+Style Condition
+ LabelCounter condition
+ LabelString "Condition \arabic{condition}."
+End
+
+
+Style Problem
+ LabelCounter problem
+ LabelString "Problem \arabic{problem}."
+End
+
+
+Style Exercise
+ LabelCounter exercise
+ LabelString "Exercise \arabic{exercise}."
+End
+
+
+Style Remark
+ LabelCounter remark
+ LabelString "Remark \arabic{remark}."
+End
+
+
+Style Claim
+ LabelCounter claim
+ LabelString "Claim \arabic{claim}."
+End
+
+
+Style Note
+ LabelCounter note
+ LabelString "Note \arabic{note}."
+End
+
+
+Style Notation
+ LabelCounter notation
+ LabelString "Notation \arabic{notation}."
+End
+
+
+Style Summary
+ LabelCounter summary
+ LabelString "Summary \arabic{summary}."
+End
+
+
+Style Acknowledgement
+ LabelCounter acknowledgement
+ LabelString "Acknowledgement \arabic{acknowledgement}."
+End
+
+
+Style Case
+ LabelCounter case
+ LabelString "Case \arabic{case}."
+End
+
+
+Style Conclusion
+ LabelCounter conclusion
+ LabelString "Conclusion \arabic{conclusion}."
+End