1 #\DeclareLyXModule{Theorems (AMS, Numbered by Type)}
3 #Defines theorem environments and the proof environment using the extended
4 #AMS machinery. Both numbered and unnumbered types are provided. Contrary to the
5 #plain AMS Theorem module, the different theorem types provided here each have
6 #a separate counter (e.g., theorem 1, theorem 2, lemma 1, proposition 1, theorem 3,
7 #lemma 2, ..., as opposed to theorem 1, theorem 2, lemma 3, proposition 4, ...).
8 #The numbering's scope is the whole document. For chapter- and section-wide numbering,
9 #use one of the 'within Sections'/'within Chapters' modules, respectively.
11 #Excludes: theorems-std | theorems-starred | theorems-ams | theorems-bytype
13 # Original Author : David L. Johnson <dlj0@lehigh.edu>
14 # Probably broken by Jean-Marc Lasgouttes <Jean-Marc.Lasgouttes@inria.fr>
15 # modified and modularized by Emmanuel GUREGHIAN <gureghia@boston.bertin.fr>
16 # Tinkered with Sep. '07 by Paul Rubin <rubin@msu.edu>
17 # Modularized Jan 08 by Richard Heck <rgheck@comcast.net>
18 # Hacked June '09 by Paul Rubin <rubin@msu.edu> to use separate counters
22 Requires amsmath,amsthm
24 # We need separate counters for each theorem-like style.
50 Input theorems-order.inc
51 Input theorems-ams-bytype.inc
52 Input theorems-starred.inc
53 Input theorems-proof.inc