1 #\DeclareLyXModule{Standard Theorems (Numbered by Type)}
2 #\DeclareCategory{Maths}
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.
11 #Excludes: theorems-std | theorems-ams | theorems-starred | theorems-ams-bytype
13 # Author: Paul Rubin <rubin@msu.edu> (hacked from Richard Heck's theorems-std.module)
17 # We need separate counters for each theorem-like style.
45 Input theorems-bytype.inc
46 Input theorems-proof.inc
48 #This is just a hacked version of the AMS proof environment
52 \newenvironment{proof}[1][\proofname]{\par
53 \normalfont\topsep6\p@\@plus6\p@\relax
60 \endtrivlist\@endpefalse
62 \providecommand{\proofname}{Proof}
65 # No LangPreamble or BabelPreamble, since babel knows \proofname already.