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 Kimberly Heck's theorems-std.module)
  14
  15 Format 97
  16
  17 Input theorems-counters-bytype.inc
  18 Input theorems-bytype.inc
  19 Input theorems-proof.inc
  20
  21 #This is just a hacked version of the AMS proof environment
  22 Style Proof
  23   Preamble
  24     \ifx\proof\undefined\
  25       \newenvironment{proof}[1][\proofname]{\par
  26         \normalfont\topsep6\p@\@plus6\p@\relax
  27         \trivlist
  28         \itemindent\parindent
  29         \item[\hskip\labelsep
  30               \scshape
  31           #1]\ignorespaces
  32       }{%
  33         \endtrivlist\@endpefalse
  34       }
  35       \providecommand{\proofname}{Proof}
  36     \fi
  37   EndPreamble
  38 # No LangPreamble or BabelPreamble, since babel knows \proofname already.
  39 End