-#\DeclareLyXModule{Theorems}
+#\DeclareLyXModule{Standard Theorems}
+#\DeclareCategory{Maths}
#DescriptionBegin
#Defines some theorem environments for use with non-AMS classes. By default,
#the theorems are numbered consecutively throughout the document. This can be
-#changed by loading one of the Theorems (Ordered By ...) modules.
+#changed by loading one of the 'Theorems (Numbered by ...)' modules.
#DescriptionEnd
#Excludes: theorems-ams | theorems-starred
-# Author: Richard Heck <rgheck@comcast.net>
+# Author: Richard Kimberly Heck <rikiheck@lyx.org>
-Format 6
+Format 104
-Counter
- Name theorem
+Counter theorem
+ GuiName Theorem
+ LaTeXName thm
+ RefFormat thm "Theorem \arabic{theorem}"
+ RefFormat cor "Corollary \arabic{theorem}"
+ RefFormat lem "Lemma \arabic{theorem}"
+ RefFormat prop "Proposition \arabic{theorem}"
+ RefFormat conj "Conjecture \arabic{theorem}"
+ RefFormat fact "Fact \arabic{theorem}"
+ RefFormat def "Definition \arabic{theorem}"
+ RefFormat exa "Example \arabic{theorem}"
+ RefFormat prob "Problem \arabic{theorem}"
+ RefFormat exer "Exercise \arabic{theorem}"
+ RefFormat solu "Solution \arabic{theorem}"
+ RefFormat rem "Remark \arabic{theorem}"
+ RefFormat claim "Claim \arabic{theorem}"
End
Input theorems.inc
Input theorems-proof.inc
-
-#This is just a hacked version of the AMS proof environment
-Style Proof
- Preamble
- \newenvironment{proof}[1][\proofname]{\par
- \normalfont\topsep6\p@\@plus6\p@\relax
- \trivlist
- \itemindent\parindent
- \item[\hskip\labelsep
- \scshape
- #1]\ignorespaces
- }{%
- \endtrivlist\@endpefalse
- }
-\providecommand{\proofname}{Proof}
-
- EndPreamble
-End
\ No newline at end of file
+Input theorems-proof-std.inc