lib/layouts/theorems-bytype.module

   1 #\DeclareLyXModule{Theorems (Numbered by Type)}
   2 #DescriptionBegin
   3 #Defines some theorem environments for use with non-AMS classes. Contrary to the
   4 #plain Theorem module, the different theorem types provided here each have a separate
   5 #counter (e.g., theorem 1, theorem 2, lemma 1, proposition 1, theorem 3, lemma 2, ...,
   6 #as opposed to theorem 1, theorem 2, lemma 3, proposition 4, ...).
   7 #The numbering's scope is the whole document. For chapter- and section-wide numbering,
   8 #use one of the 'within Sections'/'within Chapters' modules, respectively.
   9 #DescriptionEnd
  10 #Excludes: theorems-std | theorems-ams | theorems-starred | theorems-ams-bytype
  11
  12 # Author: Paul Rubin <rubin@msu.edu> (hacked from Richard Heck's theorems-std.module)
  13
  14 Format 68
  15
  16 # We need separate counters for each theorem-like style.
  17 Counter theorem
  18 End
  19 Counter corollary
  20 End
  21 Counter lemma
  22 End
  23 Counter proposition
  24 End
  25 Counter conjecture
  26 End
  27 Counter fact
  28 End
  29 Counter definition
  30 End
  31 Counter example
  32 End
  33 Counter problem
  34 End
  35 Counter exercise
  36 End
  37 Counter solution
  38 End
  39 Counter remark
  40 End
  41 Counter claim
  42 End
  43
  44 Input theorems-bytype.inc
  45 Input theorems-proof.inc
  46
  47 #This is just a hacked version of the AMS proof environment
  48 Style Proof
  49   Preamble
  50     \ifx\proof\undefined\
  51       \newenvironment{proof}[1][\proofname]{\par
  52         \normalfont\topsep6\p@\@plus6\p@\relax
  53         \trivlist
  54         \itemindent\parindent
  55         \item[\hskip\labelsep
  56               \scshape
  57           #1]\ignorespaces
  58       }{%
  59         \endtrivlist\@endpefalse
  60       }
  61       \providecommand{\proofname}{Proof}
  62     \fi
  63   EndPreamble
  64 # No LangPreamble or BabelPreamble, since babel knows \proofname already.
  65 End