lib/layouts/theorems-proof-std.inc

   1 # Moved here by rgheck. Original author cloudy.
   2
   3 Format 68
   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\scshape #1]\ignorespaces
  14                 }{%
  15                         \endtrivlist\@endpefalse
  16                 }
  17                 \providecommand{\proofname}{Proof}
  18                 \fi
  19         EndPreamble
  20 # No LangPreamble or BabelPreamble, since babel knows \proofname already.
  21 End