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 89
  16
  17 # We need separate counters for each theorem-like style.
  18 Counter theorem
  19         GuiName Theorem
  20         LaTeXName thm
  21 End
  22 Counter corollary
  23         GuiName Corollary
  24         LaTeXName cor
  25 End
  26 Counter lemma
  27         GuiName Lemma
  28         LaTeXName lem
  29 End
  30 Counter proposition
  31         GuiName Proposition
  32         LaTeXName prop
  33 End
  34 Counter conjecture
  35         GuiName Conjecture
  36 End
  37 Counter fact
  38         GuiName Fact
  39 End
  40 Counter definition
  41         GuiName Definition
  42         LaTeXName defn
  43 End
  44 Counter example
  45         GuiName Example
  46 End
  47 Counter problem
  48         GuiName Problem
  49 End
  50 Counter exercise
  51         GuiName Exercise
  52         LaTeXName xca
  53 End
  54 Counter solution
  55         GuiName Solution
  56         LaTeXName sol
  57 End
  58 Counter remark
  59         GuiName Remark
  60         LaTeXName rem
  61 End
  62 Counter claim
  63         GuiName Claim
  64 End
  65
  66 Input theorems-bytype.inc
  67 Input theorems-proof.inc
  68
  69 #This is just a hacked version of the AMS proof environment
  70 Style Proof
  71   Preamble
  72     \ifx\proof\undefined\
  73       \newenvironment{proof}[1][\proofname]{\par
  74         \normalfont\topsep6\p@\@plus6\p@\relax
  75         \trivlist
  76         \itemindent\parindent
  77         \item[\hskip\labelsep
  78               \scshape
  79           #1]\ignorespaces
  80       }{%
  81         \endtrivlist\@endpefalse
  82       }
  83       \providecommand{\proofname}{Proof}
  84     \fi
  85   EndPreamble
  86 # No LangPreamble or BabelPreamble, since babel knows \proofname already.
  87 End