Minor tweaks, and a new module for unnumbered theorems only.

[lyx.git] / lib / layouts / theorems-ams.module

diff --git a/lib/layouts/theorems-ams.module b/lib/layouts/theorems-ams.module
index e5247c0e38954dd4fe973534e3fc83747019487c..41764e218b6d86f2078e9a2ac3a13a964c90ccc0 100644 (file)
--- a/lib/layouts/theorems-ams.module
+++ b/lib/layouts/theorems-ams.module
@@ -1,19 +1,97 @@
-#\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,amsthm
+
+Counter
+       Name theorem
+End
 
-Format 5
 Preamble
-       \usepackage{amsmath}
-  \theoremstyle{plain}
-       \newtheorem{thm}{Theorem}[section]
+       \theoremstyle{plain}
 EndPreamble
 
+#Get the order right
+Style Theorem
+End
+
+Style Theorem*
+End
 
-Counter
-       Name                 theorem
+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