1 # Moved here by rgheck. Original author cloudy.
5 #This is just a hacked version of the AMS proof environment
9 \newenvironment{proof}[1][\protect\proofname]{\par
10 \normalfont\topsep6\p@\@plus6\p@\relax
13 \item[\hskip\labelsep\scshape #1]\ignorespaces
15 \endtrivlist\@endpefalse
17 \providecommand{\proofname}{Proof}
20 # No LangPreamble or BabelPreamble, since babel knows \proofname already.