-#\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 67
+Format 89
# We need separate counters for each theorem-like style.
Counter theorem
+ GuiName Theorem
+ LaTeXName thm
End
Counter corollary
+ GuiName Corollary
+ LaTeXName cor
End
Counter lemma
+ GuiName Lemma
+ LaTeXName lem
End
Counter proposition
+ GuiName Proposition
+ LaTeXName prop
End
Counter conjecture
+ GuiName Conjecture
End
Counter fact
+ GuiName Fact
End
Counter definition
+ GuiName Definition
+ LaTeXName defn
End
Counter example
+ GuiName Example
End
Counter problem
+ GuiName Problem
End
Counter exercise
+ GuiName Exercise
+ LaTeXName xca
End
Counter solution
+ GuiName Solution
+ LaTeXName sol
End
Counter remark
+ GuiName Remark
+ LaTeXName rem
End
Counter claim
+ GuiName Claim
End
Input theorems-bytype.inc