-#\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 22
+Format 85
Requires amsmath,amsthm
-# We need separate counters for each theorem-like style.
-Counter theorem
-End
-Counter corollary
-End
-Counter lemma
-End
-Counter proposition
-End
-Counter conjecture
-End
-Counter fact
-End
-Counter definition
-End
-Counter example
-End
-Counter problem
-End
-Counter exercise
-End
-Counter remark
-End
-Counter claim
-End
-
Input theorems-order.inc
Input theorems-ams-bytype.inc
Input theorems-starred.inc