# Author : David L. Johnson <dlj0@lehigh.edu>
# 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>
-# These are only the plain (unnumbered) theorem styles environnements
-# The environnements defined are :
+# These are only the plain (unnumbered) theorem styles environments.
+# Both starred and unstarred versions are included for compatibility
+# with the other AMS classes.
+# The environments defined are:
# - Theorem
# - Corollary
# - Lemma
# - Conjecture
# - Criterion
# - Algorithm
-# - Fact
+# - Fact
# - Axiom
# - Definition
# - Example
# - Notation
# - Summary
# - Acknowledgement
-# - Case
# - Conclusion
+# - Assumption
+# - Case (regular only -- defined as an enumeration)
+
+
+Format 5
-# Theorem-plain style declaration
Style Theorem
LatexName thm*
LabelString "Theorem."
+End
- Preamble
- \theoremstyle{plain}
- \newtheorem*{thm*}{Theorem}
- EndPreamble
-End
-# Corollary-plain style declaration
Style Corollary
LatexName cor*
LabelString "Corollary."
-
- Preamble
- \theoremstyle{plain}
- \newtheorem*{cor*}{Corollary}
- EndPreamble
End
-# Lemma-plain style declaration
+
Style Lemma
LatexName lem*
LabelString "Lemma."
-
- Preamble
- \theoremstyle{plain}
- \newtheorem*{lem*}{Lemma}
- EndPreamble
End
-# Proposition-plain style declaration
+
Style Proposition
LatexName prop*
LabelString "Proposition."
+End
- Preamble
- \theoremstyle{plain}
- \newtheorem*{prop*}{Proposition}
- EndPreamble
-End
-# Conjecture-plain style declaration
Style Conjecture
LatexName conjecture*
LabelString "Conjecture."
+End
- Preamble
- \theoremstyle{plain}
- \newtheorem*{conjecture*}{Conjecture}
- EndPreamble
-End
-# Criterion-plain style declaration
Style Criterion
LatexName criterion*
LabelString "Criterion."
+End
- Preamble
- \theoremstyle{plain}
- \newtheorem*{criterion*}{Criterion}
- EndPreamble
-End
-# Algorithm-plain style declaration
Style Algorithm
LatexName algorithm*
- LabelString "Algorithm #."
+ LabelString "Algorithm."
+End
- Preamble
- \theoremstyle{plain}
- \newtheorem*{algorithm*}{Algorithm}
- EndPreamble
-End
-# Fact-plain style declaration
Style Fact
LatexName fact*
LabelString "Fact."
+End
- Preamble
- \theoremstyle{plain}
- \newtheorem*{fact*}{Fact}
- EndPreamble
-End
-# Axiom-plain style declaration
Style Axiom
LatexName ax*
LabelString "Axiom."
-
- Preamble
- \theoremstyle{plain}
- \newtheorem*{ax*}{Axiom}
- EndPreamble
End
-# Definition-plain style declaration
+
Style Definition
LatexName defn*
LabelString "Definition."
+End
- Preamble
- \theoremstyle{definition}
- \newtheorem*{defn*}{Definition}
- EndPreamble
-End
-# Example-plain style declaration
Style Example
LatexName example*
LabelString "Example."
+End
- Preamble
- \theoremstyle{definition}
- \newtheorem*{example*}{Example}
- EndPreamble
-End
-# Condition-plain style declaration
Style Condition
LatexName condition*
LabelString "Condition."
+End
- Preamble
- \theoremstyle{definition}
- \newtheorem*{condition*}{Condition}
- EndPreamble
-End
-# Problem-plain style declaration
Style Problem
LatexName problem*
LabelString "Problem."
+End
- Preamble
- \theoremstyle{definition}
- \newtheorem*{problem*}{Problem}
- EndPreamble
-End
-# Exercise-plain style declaration
Style Exercise
LatexName xca*
LabelString "Exercise."
+End
- Preamble
- \theoremstyle{definition}
- \newtheorem*{xca*}{Exercise}
- EndPreamble
-End
-# Remark-plain style declaration
Style Remark
LatexName rem*
LabelString "Remark."
+End
- Preamble
- \theoremstyle{remark}
- \newtheorem*{rem*}{Remark}
- EndPreamble
-End
-# Claim-plain style declaration
Style Claim
LatexName claim*
LabelString "Claim."
+End
- Preamble
- \theoremstyle{remark}
- \newtheorem*{claim*}{Claim}
- EndPreamble
-End
-# Note-plain style declaration
Style Note
LatexName note*
LabelString "Note."
+End
- Preamble
- \theoremstyle{remark}
- \newtheorem*{note*}{Note}
- EndPreamble
-End
-# Notation style declaration
Style Notation
LatexName notation*
LabelString "Notation."
+End
- Preamble
- \theoremstyle{remark}
- \newtheorem*{notation*}{Notation}
- EndPreamble
-End
-
-# Summary style declaration
Style Summary
LatexName summary*
LabelString "Summary."
+End
- Preamble
- \theoremstyle{remark}
- \newtheorem*{summary*}{Summary}
- EndPreamble
-End
-
-# Acknowledgement style declaration
Style Acknowledgement
LatexName acknowledgement*
LabelString "Acknowledgement."
+End
+
- Preamble
- \theoremstyle{remark}
- \newtheorem*{acknowledgement*}{Acknowledgement}
- EndPreamble
-End
-
-
-# Case style declaration
-Style Case
- LatexName case*
- LabelString "Case."
-
- Preamble
- \theoremstyle{remark}
- \newtheorem*{case*}{Case}
- EndPreamble
-End
-
-
-# Conclusion style declaration
Style Conclusion
LatexName conclusion*
LabelString "Conclusion."
+End
+
- Preamble
- \theoremstyle{remark}
- \newtheorem*{conclusion*}{Conclusion}
- EndPreamble
-End
-
+Style Assumption
+ LatexName assumption*
+ LabelString "Assumption."
+End