-#\DeclareLyXModule{Defines some theorem environments for use with non-AMS classes. The theorems are numbered consecutively throughout the document.}{Theorems}
+#\DeclareLyXModule{Theorems}
+#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.
+#DescriptionEnd
+#Excludes: theorems-ams | theorems-starred
# Author: Richard Heck <rgheck@comcast.net>
-# Adapted from amsmaths.inc
-Format 5
+Format 7
Counter
Name 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