lib/layouts/theorems-ams.module

   1 #\DeclareLyXModule{AMS Theorems}
   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. By default,
   6 #the theorems are numbered consecutively throughout the document. This can be
   7 #changed by loading one of the 'Theorems (Numbered by ...)' modules.
   8 #DescriptionEnd
   9 #Excludes: theorems-std | theorems-starred
  10
  11 # Original Author : David L. Johnson <dlj0@lehigh.edu>
  12 # Probably broken by Jean-Marc Lasgouttes <Jean-Marc.Lasgouttes@inria.fr>
  13 # modified and modularized by Emmanuel GUREGHIAN <gureghia@boston.bertin.fr>
  14 # Tinkered with Sep. '07 by Paul Rubin <rubin@msu.edu>
  15 # Modularized Jan 08 by Richard Kimberly Heck <rikiheck@lyx.org>
  16
  17 Format 104
  18
  19 Requires        amsmath,amsthm
  20
  21 Counter theorem
  22         GuiName Theorem
  23         LaTeXName thm
  24         RefFormat thm "Theorem \arabic{theorem}"
  25         RefFormat cor "Corollary \arabic{theorem}"
  26         RefFormat lem "Lemma \arabic{theorem}"
  27         RefFormat prop "Proposition \arabic{theorem}"
  28         RefFormat conj "Conjecture \arabic{theorem}"
  29         RefFormat def "Definition \arabic{theorem}"
  30         RefFormat exa "Example \arabic{theorem}"
  31         RefFormat prob "Problem \arabic{theorem}"
  32         RefFormat exer "Exercise \arabic{theorem}"
  33         RefFormat solu "Solution \arabic{theorem}"
  34         RefFormat rem "Remark \arabic{theorem}"
  35         RefFormat claim "Claim \arabic{theorem}"
  36         RefFormat fact "Fact \arabic{theorem}"
  37         RefFormat cri "Criterion \arabic{theorem}"
  38         RefFormat alg "Algorithm \arabic{theorem}"
  39 End
  40
  41 Input theorems-order.inc
  42 Input theorems-ams.inc
  43 Input theorems-starred.inc
  44 Input theorems-proof.inc