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