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 35
  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 remark
  38 End
  39 Counter claim
  40 End
  41
  42 Input theorems-bytype.inc
  43 Input theorems-proof.inc
  44
  45 #This is just a hacked version of the AMS proof environment
  46 Style Proof
  47   Preamble
  48     \ifx\proof\undefined\
  49       \newenvironment{proof}[1][\proofname]{\par
  50         \normalfont\topsep6\p@\@plus6\p@\relax
  51         \trivlist
  52         \itemindent\parindent
  53         \item[\hskip\labelsep
  54               \scshape
  55           #1]\ignorespaces
  56       }{%
  57         \endtrivlist\@endpefalse
  58       }
  59       \providecommand{\proofname}{Proof}
  60     \fi
  61   EndPreamble
  62 End