#DescriptionBegin
#Defines only unnumbered theorem environments, and the proof environment, using
#the extended AMS machinery.
-##DescriptionEnd
-#Excludes: Theorems (AMS) | Theorems (Starred) | Theorems (Order By Section) | Theorems (Order By Chapter)
+#DescriptionEnd
+#Excludes: theorems-std | theorems-ams
# Author: Richard Heck <rgheck@comcast.net>
-Format 6
+Format 11
Input theorems-order.inc
Input theorems-starred.inc