# 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 environments
+# 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
# - Conjecture
# - Criterion
# - Algorithm
-# - Fact
+# - Fact
# - Axiom
# - Definition
# - Example
# - Notation
# - Summary
# - Acknowledgement
-# - Case
# - Conclusion
+# - Assumption
+# - Case (regular only -- defined as an enumeration)
+Format 5
+
Style Theorem
LatexName thm*
LabelString "Theorem."
- Preamble
- \theoremstyle{plain}
- \newtheorem*{thm*}{Theorem}
- EndPreamble
-End
+End
Style Corollary
LatexName cor*
LabelString "Corollary."
- Preamble
- \theoremstyle{plain}
- \newtheorem*{cor*}{Corollary}
- EndPreamble
End
Style Lemma
LatexName lem*
LabelString "Lemma."
- Preamble
- \theoremstyle{plain}
- \newtheorem*{lem*}{Lemma}
- EndPreamble
End
Style Proposition
LatexName prop*
LabelString "Proposition."
- Preamble
- \theoremstyle{plain}
- \newtheorem*{prop*}{Proposition}
- EndPreamble
-End
+End
Style Conjecture
LatexName conjecture*
LabelString "Conjecture."
- Preamble
- \theoremstyle{plain}
- \newtheorem*{conjecture*}{Conjecture}
- EndPreamble
-End
+End
Style Criterion
LatexName criterion*
LabelString "Criterion."
- Preamble
- \theoremstyle{plain}
- \newtheorem*{criterion*}{Criterion}
- EndPreamble
-End
+End
Style Algorithm
LatexName algorithm*
- LabelString "Algorithm #."
- Preamble
- \theoremstyle{plain}
- \newtheorem*{algorithm*}{Algorithm}
- EndPreamble
-End
+ LabelString "Algorithm."
+End
Style Fact
LatexName fact*
LabelString "Fact."
- Preamble
- \theoremstyle{plain}
- \newtheorem*{fact*}{Fact}
- EndPreamble
-End
+End
Style Axiom
LatexName ax*
LabelString "Axiom."
- Preamble
- \theoremstyle{plain}
- \newtheorem*{ax*}{Axiom}
- EndPreamble
End
Style Definition
LatexName defn*
LabelString "Definition."
- Preamble
- \theoremstyle{definition}
- \newtheorem*{defn*}{Definition}
- EndPreamble
-End
+End
Style Example
LatexName example*
LabelString "Example."
- Preamble
- \theoremstyle{definition}
- \newtheorem*{example*}{Example}
- EndPreamble
-End
+End
Style Condition
LatexName condition*
LabelString "Condition."
- Preamble
- \theoremstyle{definition}
- \newtheorem*{condition*}{Condition}
- EndPreamble
-End
+End
Style Problem
LatexName problem*
LabelString "Problem."
- Preamble
- \theoremstyle{definition}
- \newtheorem*{problem*}{Problem}
- EndPreamble
-End
+End
Style Exercise
LatexName xca*
LabelString "Exercise."
- Preamble
- \theoremstyle{definition}
- \newtheorem*{xca*}{Exercise}
- EndPreamble
-End
+End
Style Remark
LatexName rem*
LabelString "Remark."
- Preamble
- \theoremstyle{remark}
- \newtheorem*{rem*}{Remark}
- EndPreamble
-End
+End
Style Claim
LatexName claim*
LabelString "Claim."
- Preamble
- \theoremstyle{remark}
- \newtheorem*{claim*}{Claim}
- EndPreamble
-End
+End
Style Note
LatexName note*
LabelString "Note."
- Preamble
- \theoremstyle{remark}
- \newtheorem*{note*}{Note}
- EndPreamble
-End
+End
Style Notation
LatexName notation*
LabelString "Notation."
- Preamble
- \theoremstyle{remark}
- \newtheorem*{notation*}{Notation}
- EndPreamble
-End
-
+End
+
Style Summary
LatexName summary*
LabelString "Summary."
- Preamble
- \theoremstyle{remark}
- \newtheorem*{summary*}{Summary}
- EndPreamble
-End
-
+End
+
Style Acknowledgement
LatexName acknowledgement*
LabelString "Acknowledgement."
- Preamble
- \theoremstyle{remark}
- \newtheorem*{acknowledgement*}{Acknowledgement}
- EndPreamble
-End
-
-
-Style Case
- LatexName case*
- LabelString "Case."
- Preamble
- \theoremstyle{remark}
- \newtheorem*{case*}{Case}
- EndPreamble
-End
-
+End
+
Style Conclusion
LatexName conclusion*
LabelString "Conclusion."
- Preamble
- \theoremstyle{remark}
- \newtheorem*{conclusion*}{Conclusion}
- EndPreamble
-End
+End
+
+
+Style Assumption
+ LatexName assumption*
+ LabelString "Assumption."
+End