#DescriptionBegin
#Defines some theorem environments for use with non-AMS classes. By default,
#the theorems are numbered consecutively throughout the document. This can be
-#changed by loading one of the Theorems (Ordered By ...) modules.
+#changed by loading one of the 'Theorems (Numbered by ...)' modules.
#DescriptionEnd
-#Excludes: Theorems (AMS) | Theorems (Starred)
+#Excludes: theorems-ams | theorems-starred
+#Category: theorems
# Author: Richard Heck <rgheck@comcast.net>
-Format 6
+Format 60
-Counter
- Name theorem
+Counter theorem
End
Input theorems.inc
Input theorems-proof.inc
+Input theorems-proof-std.inc