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
17 \endtrivlist\@endpefalse
22 \providecommand{\proofname}{_(Proof)}
25 \addto\captions$$lang{\renewcommand{\proofname}{_(Proof)}}