%% This is file `amsart12.sty' generated from `amsart12.doc'
%% on 21-JUN-1991 by the docstrip.ams utility (1.0). 
%% 
%%@texfile{%
%% filename="amsart12.sty",
%% version="1.1",
%% date="20-JUN-1991",
%% filetype="AMS-LaTeX: option",
%% copyright="Copyright (C) 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.",
%% author="American Mathematical Society",
%% address="American Mathematical Society,
%%   Technical Support Group,
%%   P. O. Box 6248,
%%   Providence, RI 02940,
%%   USA",
%% telephone="401-455-4080 or (in the USA) 800-321-4AMS",
%% email="Internet: Tech-Support@Math.AMS.com",
%% checksumtype="line count",
%% checksum="72",
%% codetable="ISO/ASCII",
%% keywords="latex, amslatex, ams-latex",
%% abstract="This file is part of the AMS-\LaTeX{} package, version 1.1.
%%   It is a subsidiary file for AMSART.STY that contains code specific
%%   to the 12pt size option."
%%}
\expandafter\ifx\csname amsart12.sty\endcsname\relax
\expandafter\def\csname amsart12.sty\endcsname{}
\else\message{---already loaded}\endinput\fi
\def\filename{amsart12.sty}
\def\fileversion{1.1} \def\filedate{20-JUN-1991}
\if@article \immediate\write16{%
AMS-LaTeX option `\filename' (\fileversion, \filedate)}
\fi
%%% end of file header
\input{amsart10.sty}

\textwidth=1.2\textwidth

\def\scriptsize{\@setsize\scriptsize{9\p@}\viiipt\@viiipt} % 8pt
\def\tiny{\@setsize\tiny{8\p@}\viipt\@viipt} % 7pt
\let\small\@normalsize % 10pt
\let\footnotesize\@normalsize % 10pt
\def\@normalsize{\@setsize\normalsize{14\p@}\xiipt\@xiipt % 12pt
  \abovedisplayskip 6\p@ \@plus 6\p@
  \belowdisplayskip \abovedisplayskip
  \abovedisplayshortskip \z@ \@plus 6\p@
  \belowdisplayshortskip 3\p@ \@plus 6\p@
  \let\@listi\@listI}

\def\large{\@setsize\large{17\p@}\xivpt\@xivpt} % 14pt
%% \CharacterTable
%%  {Upper-case    \A\B\C\D\E\F\G\H\I\J\K\L\M\N\O\P\Q\R\S\T\U\V\W\X\Y\Z
%%   Lower-case    \a\b\c\d\e\f\g\h\i\j\k\l\m\n\o\p\q\r\s\t\u\v\w\x\y\z
%%   Digits        \0\1\2\3\4\5\6\7\8\9
%%   Exclamation   \!     Double quote  \"     Hash (number) \#
%%   Dollar        \$     Percent       \%     Ampersand     \&
%%   Acute accent  \'     Left paren    \(     Right paren   \)
%%   Asterisk      \*     Plus          \+     Comma         \,
%%   Minus         \-     Point         \.     Solidus       \/
%%   Colon         \:     Semicolon     \;     Less than     \<
%%   Equals        \=     Greater than  \>     Question mark \?
%%   Commercial at \@     Left bracket  \[     Backslash     \\
%%   Right bracket \]     Circumflex    \^     Underscore    \_
%%   Grave accent  \`     Left brace    \{     Vertical bar  \|
%%   Right brace   \}     Tilde         \~}
\endinput
%% 
%% End of file `amsart12.sty'.