#Condition, Note, Notation, Summary, Acknowledgement, Conclusion,
#Fact, Assumption, and Case, in both starred and non-starred forms.
#DescriptionEnd
-#Requires: Theorems (AMS)
+#Requires: theorems-ams
# Original Author : David L. Johnson <dlj0@lehigh.edu>
# Probably broken by Jean-Marc Lasgouttes <Jean-Marc.Lasgouttes@inria.fr>
# Tinkered with Sep. '07 by Paul Rubin <rubin@msu.edu>
# Modularized Jan 08 by Richard Heck <rgheck@comcast.net>
-Format 6
+Format 10
Requires amsmath
Style Criterion
CopyStyle Theorem
- DependsOn Theorem
+ DependsOn Theorem
LatexName criterion
LabelString "Criterion \thetheorem."
Preamble
Style Algorithm
CopyStyle Theorem
- DependsOn Theorem
+ DependsOn Theorem
LatexName algorithm
LabelString "Algorithm \thetheorem."
Preamble
Style Axiom
CopyStyle Theorem
- DependsOn Theorem
+ DependsOn Theorem
LatexName ax
LabelString "Axiom \thetheorem."
Preamble
Style Assumption
CopyStyle Theorem
- DependsOn Theorem
+ DependsOn Theorem
LatexName assumption
LabelString "Assumption \thetheorem."
Preamble