-#\DeclareLyXModule{Theorems (AMS, Numbered by Type)}
+#\DeclareLyXModule{AMS Theorems (Numbered by Type)}
+#\DeclareCategory{Maths}
#DescriptionBegin
#Defines theorem environments and the proof environment using the extended
#AMS machinery. Both numbered and unnumbered types are provided. Contrary to the
# Modularized Jan 08 by Richard Heck <rgheck@comcast.net>
# Hacked June '09 by Paul Rubin <rubin@msu.edu> to use separate counters
-Format 41
+Format 80
Requires amsmath,amsthm
End
Counter example
End
+Counter solution
+End
Counter problem
End
Counter exercise