lib/layouts/theorems-bytype.module

   1 #\DeclareLyXModule{Standard Theorems (Numbered by Type)}
   2 #\DeclareCategory{Maths}
   3 #DescriptionBegin
   4 #Defines some theorem environments for use with non-AMS classes. Contrary to the
   5 #plain Theorem module, the different theorem types provided here each have a separate
   6 #counter (e.g., theorem 1, theorem 2, lemma 1, proposition 1, theorem 3, lemma 2, ...,
   7 #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-ams | theorems-starred | theorems-ams-bytype
  12
  13 # Author: Paul Rubin <rubin@msu.edu> (hacked from Richard Heck's theorems-std.module)
  14
  15 Format 85
  16
  17 # We need separate counters for each theorem-like style.
  18 Counter theorem
  19         GuiName Theorem
  20 End
  21 Counter corollary
  22         GuiName Corollary
  23 End
  24 Counter lemma
  25         GuiName Lemma
  26 End
  27 Counter proposition
  28         GuiName Proposition
  29 End
  30 Counter conjecture
  31         GuiName Conjecture
  32 End
  33 Counter fact
  34         GuiName Fact
  35 End
  36 Counter definition
  37         GuiName Definition
  38 End
  39 Counter example
  40         GuiName Example
  41 End
  42 Counter problem
  43         GuiName Problem
  44 End
  45 Counter exercise
  46         GuiName Exercise
  47 End
  48 Counter solution
  49         GuiName Solution
  50 End
  51 Counter remark
  52         GuiName Remark
  53 End
  54 Counter claim
  55         GuiName Claim
  56 End
  57
  58 Input theorems-bytype.inc
  59 Input theorems-proof.inc
  60
  61 #This is just a hacked version of the AMS proof environment
  62 Style Proof
  63   Preamble
  64     \ifx\proof\undefined\
  65       \newenvironment{proof}[1][\proofname]{\par
  66         \normalfont\topsep6\p@\@plus6\p@\relax
  67         \trivlist
  68         \itemindent\parindent
  69         \item[\hskip\labelsep
  70               \scshape
  71           #1]\ignorespaces
  72       }{%
  73         \endtrivlist\@endpefalse
  74       }
  75       \providecommand{\proofname}{Proof}
  76     \fi
  77   EndPreamble
  78 # No LangPreamble or BabelPreamble, since babel knows \proofname already.
  79 End