%% 
%% This is file `amsthm.sty', generated 
%% on <1994/11/17> with the docstrip utility (2.2h).
%% 
%% The original source files were:
%% 
%% amsthm.dtx 
%%% ====================================================================
%%%  @LaTeX-file{
%%%     filename        = "amsthm.dtx",
%%%     version         = "1.2beta",
%%%     date            = "1994/10/27",
%%%     time            = "11:25:13 EDT",
%%%     author          = "American Mathematical Society",
%%%     copyright       = "Copyright (C) 1994 American Mathematical Society,
%%%                        all rights reserved.  Copying of this file is
%%%                        authorized only if either:
%%%                        (1) you make absolutely no changes to your copy,
%%%                        including name; OR
%%%                        (2) if you do make changes, you first rename it
%%%                        to some other name.",
%%%     address         = "American Mathematical Society,
%%%                        Technical Support,
%%%                        Electronic Products and Services,
%%%                        P. O. Box 6248,
%%%                        Providence, RI 02940,
%%%                        USA",
%%%     telephone       = "401-455-4080 or (in the USA and Canada)
%%%                        800-321-4AMS (321-4267)",
%%%     FAX             = "401-331-3842",
%%%     checksum        = "01388 549 2338 19979",
%%%     email           = "tech-support@math.ams.org (Internet)",
%%%     codetable       = "ISO/ASCII",
%%%     keywords        = "latex, amslatex, ams-latex, theorem",
%%%     supported       = "yes",
%%%     abstract        = "This is part of the AMS-\LaTeX{} distribution.
%%%                        It is a package which provides multiple
%%%                        theorem styles, unnumbered theorem types, and
%%%                        a proof environment with automatic ending
%%%                        Q.E.D. symbol. Loosely derived from
%%%                        Mittelbach's theorem.sty.",
%%%     docstring       = "The checksum field above contains a CRC-16
%%%                        checksum as the first value, followed by the
%%%                        equivalent of the standard UNIX wc (word
%%%                        count) utility output of lines, words, and
%%%                        characters.  This is produced by Robert
%%%                        Solovay's checksum utility.",
%%%  }
%%% ====================================================================
\NeedsTeXFormat{LaTeX2e}
\ProvidesPackage{amsthm}[1994/10/27 v1.2beta]
\@ifl@aded{sty}{amsgen}{}{\input{amsgen.sty}}
\newcommand{\theoremstyle}[1]{%
  \@ifundefined{th@#1}{%
    \PackageWarning{amsthm}{%
      Unknown theoremstyle `#1'. Using `plain'}%
    \theorem@style{plain}%
  }{%
    \theorem@style{#1}%
  }%
}
\newtoks\theorem@style
\theorem@style{plain}
\newtoks\theorembodyfont
\theorembodyfont{\itshape}
\newtoks\theoremheadfont
\theoremheadfont{\bfseries}
\newtoks\theoremnotefont
\theoremnotefont{\bfseries}
\newtoks\theoremheadpunct
\theoremheadpunct{.}
\newskip\theorempreskipamount
\newskip\theorempostskipamount
\renewcommand{\newtheorem}{\@ifstar{\@xnthm *}{\@xnthm \relax}}
\def\@xnthm#1#2{%
  \let\@tempa\relax
  \@xp\@ifdefinable\csname #2\endcsname{%
    \global\@xp\let\csname end#2\endcsname\@endtheorem
    \ifx *#1% unnumbered, need to get one more mandatory arg
      \edef\@tempa##1{%
        \gdef\@xp\@nx\csname#2\endcsname{%
          \@nx\@thm{\@xp\@nx\csname th@\the\theorem@style\endcsname}%
            {}{##1}}}%
    \else % numbered theorem, need to check for optional arg
      \def\@tempa{\@oparg{\@ynthm{#2}}[]}%
    \fi
  }%
  \@tempa
}
\def\@ynthm#1[#2]#3{%
  \@ifempty{#2}{%
    \@oparg{\@xthm{#1}{#3}}[]%
  }{%
    \@ifundefined{c@#2}{%
      \@nocounterr{#2}%
    }{%
      \@xp\xdef\csname the#1\endcsname{\@xp\@nx\csname the#2\endcsname}%
      \toks@{#3}%
      \@xp\xdef\csname#1\endcsname{%
        \@nx\@thm{\@xp\@nx\csname th@\the\theorem@style\endcsname}%
            {#2}{\the\toks@}}%
    }%
  }%
}
\def\@xthm#1#2[#3]{%
  \@ifempty{#3}{%
    \newcounter{#1}%
  }{%
    \newcounter{#1}[#3]%
    \@xp\xdef\csname the#1\endcsname{\@xp\@nx\csname the#3\endcsname
      \@thmcountersep\@thmcounter{#1}}%
  }%
  \toks@{#2}%
  \@xp\xdef\csname#1\endcsname{%
    \@nx\@thm{\@xp\@nx\csname th@\the\theorem@style\endcsname}%
      {#1}{\the\toks@}}%
}
\def\@thm#1#2#3{\normalfont
  \trivlist
  \labelsep.5em\relax
  \let\theoremindent\noindent % no indent
  \let\theorem@swap\@nonswapped
  \theoremheadfont{\bfseries}% heading font bold
  \theoremnotefont\@emptytoks% default to header font
  \theoremheadpunct{.}% add period after heading
  \theorempreskipamount1\baselineskip\@plus.2\baselineskip
                                    \@minus.2\baselineskip
  \theorempostskipamount\theorempreskipamount
  #1% style overrides
  \@topsep \theorempreskipamount               % used by first \item
  \@topsepadd \theorempostskipamount           % used by \@endparenv
  \def\@tempa{#2}\ifx\@empty\@tempa
    \def\@tempa{\@oparg{\@begintheorem{#3}{}}[]}%
  \else
    \refstepcounter{#2}%
    \def\@tempa{\@oparg{\@begintheorem{#3}{\csname the#2\endcsname}}[]}%
  \fi
  \@tempa
}
\let\@ythm\relax
\def\@begintheorem#1#2[#3]{%
  \item[\normalfont % reset in case body font is abnormal
  \hskip\labelsep
  \the\theoremheadfont
  \theoremindent
  \theorem@swap{#1}{#2}%
  \@ifnotempty{#3}{\space\the\theoremnotefont(#3\unskip)}%
  \the\theoremheadpunct]%
  \ignorespaces}
\def\nonslanted{\relax
  \ifx\f@shape\itdefault\upshape
  \else\ifx\f@shape\sldefault\upshape\fi\fi}
\def\@nonswapped#1#2{#1\@ifnotempty{#2}{\enskip{\nonslanted#2}\unskip}}%
\def\@swapped#1#2{%
  {\nonslanted#2}\@ifnotempty{#1}{\@addpunct{.}\enskip#1\unskip}}
\let\theorem@swap=\@nonswapped
\def\swapnumbers#1{\PackageError{amsthm}{Command \nx@\swapnumbers not
  ready yet}}
\let\@opargbegintheorem\relax
\def\th@plain{%
%%\let\theoremindent\noindent % no indent
%%\let\theorem@swap\@nonswapped % don't swap number to the left
%%\theoremheadfont{\bfseries}% heading font is bold
%%\theoremnotefont{}% same as heading font
%%\theoremheadpunct{.}% add period after heading
%%\theorempreskipamount\baselineskip\@plus.2\baselineskip
%%  \@minus.2\baselineskip
%%\theorempostskipamount\theorempreskipamount
  \itshape % body font
}
\def\th@definition{%
  \normalfont % body font
}
\def\th@remark{%
  \theoremheadfont{\itshape}%
  \normalfont % body font
}
\def\@endtheorem{\endtrivlist\@endpefalse }
\newcommand{\newtheoremstyle}[9]{%
  \@xp\ifx\csname#2indent\endcsname\noindent
    \toks@{\let\theoremindent\noindent}%
  \else
    \toks@{\let\theoremindent\indent}%
  \fi
  \ifx s#3%
    \@temptokena{\let\theorem@swap\@swapped}%
  \else
    \@temptokena{\let\theorem@swap\@nonswapped}%
  \fi
  \theoremheadfont{\theoremheadfont{#4}%
    \theoremnotefont{#5}\theoremheadpunct{#6}%
    \theorempreskipamount#8\relax
    \theorempostskipamount#9\relax
    #7% body font
  }%
  \@xp\xdef\csname th@#1\endcsname{%
    \the\toks@ \the\@temptokena \the\theoremheadfont}%
}
\DeclareRobustCommand{\qed}{%
  \ifmmode % do nothing extra
  \else \leavevmode\unskip\penalty9999 \hbox{}\nobreak\hfill
  \fi
  \quad\hbox{\qedsymbol}}
\newcommand{\openbox}{\leavevmode
  \hbox to.77778em{%
  \hfil\vrule
  \vbox to.675em{\hrule width.6em\vfil\hrule}%
  \vrule\hfil}}
\newcommand{\qedsymbol}{\openbox}
\newenvironment{proof}[1][\proofname]{\par
  \normalfont
  \topsep6\p@\@plus6\p@ \trivlist
  \item[\hskip\labelsep\itshape
    #1\@addpunct{.}]\ignorespaces
}{%
  \qed\endtrivlist
}
\newcommand{\proofname}{Proof}
\DeclareOption*{\input{\CurrentOption .thm}}
\ProcessOptions
\endinput
%% 
%% End of file `amsthm.sty'.
