1 #\DeclareLyXModule{AMS Theorems}
2 #\DeclareCategory{Maths}
4 #Defines theorem environments and the proof environment using the extended
5 #AMS machinery. Both numbered and unnumbered types are provided. By default,
6 #the theorems are numbered consecutively throughout the document. This can be
7 #changed by loading one of the 'Theorems (Numbered by ...)' modules.
9 #Excludes: theorems-std | theorems-starred
11 # Original Author : David L. Johnson <dlj0@lehigh.edu>
12 # Probably broken by Jean-Marc Lasgouttes <Jean-Marc.Lasgouttes@inria.fr>
13 # modified and modularized by Emmanuel GUREGHIAN <gureghia@boston.bertin.fr>
14 # Tinkered with Sep. '07 by Paul Rubin <rubin@msu.edu>
15 # Modularized Jan 08 by Richard Heck <rgheck@comcast.net>
19 Requires amsmath,amsthm
25 Input theorems-order.inc
26 Input theorems-ams.inc
27 Input theorems-starred.inc
28 Input theorems-proof.inc