1 #\DeclareLyXModule{Theorems (AMS)}
3 #Defines theorem environments and the proof environment using the extended
4 #AMS machinery. The theorems are numbered consecutively throughout the document.
8 # Original Author : David L. Johnson <dlj0@lehigh.edu>
9 # Probably broken by Jean-Marc Lasgouttes <Jean-Marc.Lasgouttes@inria.fr>
10 # modified and modularized by Emmanuel GUREGHIAN <gureghia@boston.bertin.fr>
11 # Tinkered with Sep. '07 by Paul Rubin <rubin@msu.edu>
12 # Modularized Jan 08 by Richard Heck <rgheck@comcast.net>
16 Requires amsmath,amsthm
94 Input theorems-starred.inc
95 Input theorems-proof.inc