#
# Probably broken by Jean-Marc Lasgouttes <Jean-Marc.Lasgouttes@inria.fr>
# modified and modularized by Emmanuel GUREGHIAN <gureghia@boston.bertin.fr>
+# Tinkered with Sep. '07 by Paul Rubin <rubin@msu.edu>
Format 5
Input amsart.layout
Input amsmaths-seq.inc
-# Use a simpler 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