#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)
+#Excludes: theorems-ams | theorems-starred
# Author: Richard Heck <rgheck@comcast.net>
-Format 6
+Format 14
-Counter
- Name theorem
+Counter theorem
End
Input theorems.inc
Input theorems-proof.inc
+
+#This is just a hacked version of the AMS proof environment
+Style Proof
+ Preamble
+ \ifx\proof\undefined\
+ \newenvironment{proof}[1][\protect\proofname]{\par
+ \normalfont\topsep6\p@\@plus6\p@\relax
+ \trivlist
+ \itemindent\parindent
+ \item[\hskip\labelsep
+ \scshape
+ #1]\ignorespaces
+ }{%
+ \endtrivlist\@endpefalse
+ }
+ \fi
+ EndPreamble
+ LangPreamble
+ \providecommand{\proofname}{_(Proof)}
+ EndLangPreamble
+ BabelPreamble
+ \addto\captions$$lang{\renewcommand{\proofname}{_(Proof)}}
+ EndBabelPreamble
+End