-#\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{AMS Theorems}
+#\DeclareCategory{Maths}
+#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 (Numbered by ...)' modules.
+#DescriptionEnd
+#Excludes: theorems-std | 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 5
-Preamble
- \usepackage{amsmath}
- \theoremstyle{plain}
- \newtheorem{thm}{Theorem}[section]
-EndPreamble
+Format 85
+Requires amsmath,amsthm
-Counter
- Name theorem
+Counter theorem
+ GuiName Theorem
End
-
+Input theorems-order.inc
Input theorems-ams.inc
+Input theorems-starred.inc
+Input theorems-proof.inc