lib/layouts/theorems-ams-bytype.module

   1 #\DeclareLyXModule{AMS Theorems (Numbered by Type)}
   2 #\DeclareCategory{Maths}
   3 #DescriptionBegin
   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.
  11 #DescriptionEnd
  12 #Excludes: theorems-std | theorems-starred | theorems-ams | theorems-bytype
  13
  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
  20
  21 Format 81
  22
  23 Requires        amsmath,amsthm
  24
  25 # We need separate counters for each theorem-like style.
  26 Counter theorem
  27         GuiName Theorem
  28 End
  29 Counter corollary
  30         GuiName Corollary
  31 End
  32 Counter lemma
  33         GuiName Lemma
  34 End
  35 Counter proposition
  36         GuiName Proposition
  37 End
  38 Counter conjecture
  39         GuiName Conjecture
  40 End
  41 Counter fact
  42         GuiName Fact
  43 End
  44 Counter definition
  45         GuiName Definition
  46 End
  47 Counter example
  48         GuiName Example
  49 End
  50 Counter solution
  51         GuiName Solution
  52 End
  53 Counter problem
  54         GuiName Problem
  55 End
  56 Counter exercise
  57         GuiName Exercise
  58 End
  59 Counter remark
  60         GuiName Remark
  61 End
  62 Counter claim
  63         GuiName Claim
  64 End
  65
  66 Input theorems-order.inc
  67 Input theorems-ams-bytype.inc
  68 Input theorems-starred.inc
  69 Input theorems-proof.inc