#\DeclareLyXModule{AMS Theorems (Numbered by Type)}
-#\DeclareCategory{Theorems}
+#\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 72
+Format 82
Requires amsmath,amsthm
# We need separate counters for each theorem-like style.
Counter theorem
+ GuiName Theorem
End
Counter corollary
+ GuiName Corollary
End
Counter lemma
+ GuiName Lemma
End
Counter proposition
+ GuiName Proposition
End
Counter conjecture
+ GuiName Conjecture
End
Counter fact
+ GuiName Fact
End
Counter definition
+ GuiName Definition
End
Counter example
+ GuiName Example
End
Counter solution
+ GuiName Solution
End
Counter problem
+ GuiName Problem
End
Counter exercise
+ GuiName Exercise
End
Counter remark
+ GuiName Remark
End
Counter claim
+ GuiName Claim
End
Input theorems-order.inc