-#\DeclareLyXModule{Defines theorem environments and the proof environment for use with non-AMS classes, using the extended AMS machinery. The theorems are numbered consecutively throughout the document. NOTE: Only one of the theorem modules should be used at a time.}{Theorems (AMS)}
+#\DeclareLyXModule{Theorems (AMS)}
+#DescriptionBegin
+#Defines theorem environments and the proof environment using the extended
+#AMS machinery. Both numbered and unnumbered types are provided. By default,
+#the theorems are numbered consecutively throughout the document. This can be
+#changed by loading one of the Theorems (Ordered By ...) modules.
+#DescriptionEnd
+#Excludes: Theorems | Theorems (Starred)
-# Author: Richard Heck <rgheck@comcast.net>
-# Adapted from amsdefs.inc and amsmaths.inc
+# Original Author : David L. Johnson <dlj0@lehigh.edu>
+# Probably broken by Jean-Marc Lasgouttes <Jean-Marc.Lasgouttes@inria.fr>
+# modified and modularized by Emmanuel GUREGHIAN <gureghia@boston.bertin.fr>
+# Tinkered with Sep. '07 by Paul Rubin <rubin@msu.edu>
+# Modularized Jan 08 by Richard Heck <rgheck@comcast.net>
Format 6
-Requires amsmath
+Requires amsmath,amsthm
+
+Counter
+ Name theorem
+End
Preamble
- \theoremstyle{plain}
- \newtheorem{thm}{Theorem}[section]
+ \theoremstyle{plain}
EndPreamble
+#Get the order right
+Style Theorem
+End
-Counter
- Name theorem
+Style Theorem*
+End
+
+Style Corollary
+End
+
+Style Corollary*
+End
+
+Style Lemma
+End
+
+Style Lemma*
+End
+
+Style Proposition
+End
+
+Style Proposition*
+End
+
+Style Conjecture
+End
+
+Style Conjecture*
+End
+
+Style Definition
+End
+
+Style Definition*
+End
+
+Style Example
+End
+
+Style Example*
+End
+
+Style Problem
+End
+
+Style Problem*
End
+Style Exercise
+End
+
+Style Exercise*
+End
+
+Style Remark
+End
+
+Style Remark*
+End
+
+Style Claim
+End
+
+Style Claim*
+End
-Input theorems-ams.inc
+Input theorems.inc
+Input theorems-starred.inc
+Input theorems-proof.inc