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 79
  16
  17 # We need separate counters for each theorem-like style.
  18 Counter theorem
  19 End
  20 Counter corollary
  21 End
  22 Counter lemma
  23 End
  24 Counter proposition
  25 End
  26 Counter conjecture
  27 End
  28 Counter fact
  29 End
  30 Counter definition
  31 End
  32 Counter example
  33 End
  34 Counter problem
  35 End
  36 Counter exercise
  37 End
  38 Counter solution
  39 End
  40 Counter remark
  41 End
  42 Counter claim
  43 End
  44
  45 Input theorems-bytype.inc
  46 Input theorems-proof.inc
  47
  48 #This is just a hacked version of the AMS proof environment
  49 Style Proof
  50   Preamble
  51     \ifx\proof\undefined\
  52       \newenvironment{proof}[1][\proofname]{\par
  53         \normalfont\topsep6\p@\@plus6\p@\relax
  54         \trivlist
  55         \itemindent\parindent
  56         \item[\hskip\labelsep
  57               \scshape
  58           #1]\ignorespaces
  59       }{%
  60         \endtrivlist\@endpefalse
  61       }
  62       \providecommand{\proofname}{Proof}
  63     \fi
  64   EndPreamble
  65 # No LangPreamble or BabelPreamble, since babel knows \proofname already.
  66 End