lib/layouts/theorems-proof-std.inc

   1 # Moved here by rgheck. Original author cloudy.
   2
   3 Format 33
   4
   5 #This is just a hacked version of the AMS proof environment
   6 Style Proof
   7         Preamble
   8                 \ifx\proof\undefined\
   9                 \newenvironment{proof}[1][\protect\proofname]{\par
  10                         \normalfont\topsep6\p@\@plus6\p@\relax
  11                         \trivlist
  12                         \itemindent\parindent
  13                         \item[\hskip\labelsep
  14                                         \scshape
  15 #1]\ignorespaces
  16 }{%
  17                         \endtrivlist\@endpefalse
  18 }
  19                 \fi
  20         EndPreamble
  21         LangPreamble
  22                 \providecommand{\proofname}{_(Proof)}
  23         EndLangPreamble
  24         BabelPreamble
  25                 \addto\captions$$lang{\renewcommand{\proofname}{_(Proof)}}
  26         EndBabelPreamble
  27 End