#\DeclareLyXModule{Standard Theorems (Unnumbered)}
-#\DeclareCategory{Theorems}
+#\DeclareCategory{Maths}
#DescriptionBegin
#Defines only unnumbered theorem environments, and the proof environment, using
#the extended AMS machinery.
# Author: Richard Heck <rgheck@comcast.net>
-Format 74
+Format 80
Input theorems-order.inc
Input theorems-starred.inc