1 #\DeclareLyXModule{AMS Theorems}
2 #\DeclareCategory{Maths}
4 #Defines theorem environments and the proof environment using the extended
5 #AMS machinery. Both numbered and unnumbered types are provided. By default,
6 #the theorems are numbered consecutively throughout the document. This can be
7 #changed by loading one of the 'Theorems (Numbered by ...)' modules.
9 #Excludes: theorems-std | theorems-starred
11 # Original Author : David L. Johnson <dlj0@lehigh.edu>
12 # Probably broken by Jean-Marc Lasgouttes <Jean-Marc.Lasgouttes@inria.fr>
13 # modified and modularized by Emmanuel GUREGHIAN <gureghia@boston.bertin.fr>
14 # Tinkered with Sep. '07 by Paul Rubin <rubin@msu.edu>
15 # Modularized Jan 08 by Richard Kimberly Heck <rikiheck@lyx.org>
19 Requires amsmath,amsthm
24 RefFormat thm "Theorem \arabic{theorem}"
25 RefFormat cor "Corollary \arabic{theorem}"
26 RefFormat lem "Lemma \arabic{theorem}"
27 RefFormat prop "Proposition \arabic{theorem}"
28 RefFormat conj "Conjecture \arabic{theorem}"
29 RefFormat def "Definition \arabic{theorem}"
30 RefFormat exa "Example \arabic{theorem}"
31 RefFormat prob "Problem \arabic{theorem}"
32 RefFormat exer "Exercise \arabic{theorem}"
33 RefFormat solu "Solution \arabic{theorem}"
34 RefFormat rem "Remark \arabic{theorem}"
35 RefFormat claim "Claim \arabic{theorem}"
36 RefFormat fact "Fact \arabic{theorem}"
37 RefFormat cri "Criterion \arabic{theorem}"
38 RefFormat alg "Algorithm \arabic{theorem}"
41 Input theorems-order.inc
42 Input theorems-ams.inc
43 Input theorems-starred.inc
44 Input theorems-proof.inc