#\DeclareLyXModule{AMS Theorems}
-#\DeclareCategory{Theorems}
+#\DeclareCategory{Maths}
#DescriptionBegin
#Defines theorem environments and the proof environment using the extended
#AMS machinery. Both numbered and unnumbered types are provided. By default,
# Tinkered with Sep. '07 by Paul Rubin <rubin@msu.edu>
# Modularized Jan 08 by Richard Heck <rgheck@comcast.net>
-Format 72
+Format 85
Requires amsmath,amsthm
Counter theorem
+ GuiName Theorem
End
Input theorems-order.inc