-#\DeclareLyXModule{Theorems (Numbered by Type)}
+#\DeclareLyXModule{Standard Theorems (Numbered by Type)}
+#\DeclareCategory{Maths}
#DescriptionBegin
#Defines some theorem environments for use with non-AMS classes. Contrary to the
#plain Theorem module, the different theorem types provided here each have a separate
#DescriptionEnd
#Excludes: theorems-std | theorems-ams | theorems-starred | theorems-ams-bytype
-# Author: Paul Rubin <rubin@msu.edu> (hacked from Richard Heck's theorems-std.module)
+# Author: Paul Rubin <rubin@msu.edu> (hacked from Richard Kimberly Heck's theorems-std.module)
-Format 41
-
-# 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
+Format 95
+Input theorems-counters-bytype.inc
Input theorems-bytype.inc
Input theorems-proof.inc