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