lib/layouts/theorems-ams-bytype.module

   1 #\DeclareLyXModule{Theorems (AMS, Numbered by Type)}
   2 #DescriptionBegin
   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.
  10 #DescriptionEnd
  11 #Excludes: theorems-std | theorems-starred | theorems-ams | theorems-bytype
  12
  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
  19
  20 Format 30
  21
  22 Requires        amsmath,amsthm
  23
  24 # We need separate counters for each theorem-like style.
  25 Counter theorem
  26 End
  27 Counter corollary
  28 End
  29 Counter lemma
  30 End
  31 Counter proposition
  32 End
  33 Counter conjecture
  34 End
  35 Counter fact
  36 End
  37 Counter definition
  38 End
  39 Counter example
  40 End
  41 Counter problem
  42 End
  43 Counter exercise
  44 End
  45 Counter remark
  46 End
  47 Counter claim
  48 End
  49
  50 Input theorems-order.inc
  51 Input theorems-ams-bytype.inc
  52 Input theorems-starred.inc
  53 Input theorems-proof.inc