# Moved here by rgheck. Original author cloudy.
-Format 35
+Format 60
#This is just a hacked version of the AMS proof environment
Style Proof
Preamble
- \ifx\proof\undefined\
+ \ifx\proof\undefined
\newenvironment{proof}[1][\protect\proofname]{\par
\normalfont\topsep6\p@\@plus6\p@\relax
\trivlist
\itemindent\parindent
- \item[\hskip\labelsep
- \scshape
-#1]\ignorespaces
-}{%
+ \item[\hskip\labelsep\scshape #1]\ignorespaces
+ }{%
\endtrivlist\@endpefalse
-}
+ }
\providecommand{\proofname}{Proof}
\fi
EndPreamble