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