2009-08-07 19:20:13 +00:00
|
|
|
# Moved here by rgheck. Original author cloudy.
|
|
|
|
|
|
2010-10-13 16:54:57 +00:00
|
|
|
Format 30
|
2009-08-07 19:20:13 +00:00
|
|
|
|
|
|
|
|
#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
|
