#\DeclareLyXModule{Theorems}
#DescriptionBegin
#Defines some theorem environments for use with non-AMS classes. By default, 
#the theorems are numbered consecutively throughout the document. This can be
#changed by loading one of the 'Theorems (Numbered by ...)' modules.
#DescriptionEnd
#Excludes: theorems-ams | theorems-starred

# Author: Richard Heck <rgheck@comcast.net>

Format 11

Counter theorem
End

Input theorems.inc
Input theorems-proof.inc

#This is just a hacked version of the AMS proof environment
Style Proof
  Preamble
    \ifx\proof\undefined\
      \newenvironment{proof}[1][\proofname]{\par
        \normalfont\topsep6\p@\@plus6\p@\relax
        \trivlist
        \itemindent\parindent
        \item[\hskip\labelsep
              \scshape
          #1]\ignorespaces
      }{%
        \endtrivlist\@endpefalse
      }
      \providecommand{\proofname}{Proof}
    \fi
  EndPreamble
End