lib/layouts/theorems-proof-std.inc

   1 # Moved here by rgheck. Original author cloudy.
   2
   3 Format 36
   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                 \providecommand{\proofname}{Proof}
  20                 \fi
  21         EndPreamble
  22 # No LangPreamble or BabelPreamble, since babel knows \proofname already.
  23 End