%% this is aiml3.sty
%%
%% last changed Oct 9, 2000

% % 
\newif\ifartstyle \artstyletrue
\newif\ifrepstyle \repstylefalse
\newif\ifsectbib \sectbibtrue
\newif\ifshowindex \showindexfalse
% 
\def\evabstract{\list{}{\listparindent 1.5em
    \itemindent\listparindent
    \rightmargin\leftmargin \parsep \z@ plus\p@}
    \item[]\noindent{\sc abstract.~}\small}
\let\endevabstract=\endlist

\def\aindex#1{\ifshowindex\index{ZZZ-#1}\marginpar{\raggedright\scriptsize\rm
#1}\else\index{ZZZ-#1}\fi}

\let\shcite=\shortcite
\def\pcite#1{\cite{#1}}
\def\pshcite#1{(\shcite{#1})}

\def\BibTeX{{\rm B\kern-.05em{\sc i\kern-.025em b}\kern-.08em
    T\kern-.1667em\lower.7ex\hbox{E}\kern-.125emX}}

%%% correct section headings (ie numbering) for front matter material

\makeatletter
\renewcommand \thesection {\@arabic\c@section}
\renewcommand \theequation {\@arabic\c@equation}
% \renewcommand\thesubsection   {\thesection.\@arabic\c@subsection}
% \renewcommand\thesubsubsection{\thesubsection .\@arabic\c@subsubsection}
% \renewcommand\theparagraph    {\thesubsubsection.\@arabic\c@paragraph}
% \renewcommand\thesubparagraph {\theparagraph.\@arabic\c@subparagraph}
\makeatletter
% 
% \def\footnotesym[#1]#2{\renewcommand{\thefootnote}{\fnsymbol{footnote}}\footnote[#1]{#2}\renewcommand{\thefootnote}{\arabic{footnote}}}
% \def\footnotesymmark[#1]{\renewcommand{\thefootnote}{\fnsymbol{footnote}}\footnotemark[#1]\renewcommand{\thefootnote}{\arabic{footnote}}}
% \def\footnotesymtext[#1]#2{\renewcommand{\thefootnote}{\fnsymbol{footnote}}\footnotetext[#1]{#2}\renewcommand{\thefootnote}{\arabic{footnote}}}
% \def\footnoteniltext#1{\renewcommand{\thefootnote}{}\footnotetext{\leavevmode\hskip-\parindent #1}\renewcommand{\thefootnote}{\arabic{footnote}}}
% \let\acknowlnote=\footnoteniltext \let\footnosymbol=\footnoteniltext
% \let\ackfootnote=\footnoteniltext \let\acknote=\footnoteniltext

\theoremstyle{plain}
\theorembodyfont{\itshape}
\newtheorem{theorem}{Theorem}[section]
\newtheorem{conjecture}[theorem]{Conjecture}
\newtheorem{lemma}[theorem]{Lemma}
\newtheorem{assumption}[theorem]{Assumption}
\newtheorem{proposition}[theorem]{Proposition}
\newtheorem{corollary}[theorem]{Corollary}
\newtheorem{problem}[theorem]{Open Problem}
\newtheorem{claim}[theorem]{Claim}

\theorembodyfont{\rmfamily}
\newtheorem{definition}[theorem]{Definition}
\newtheorem{remark}[theorem]{Remark}
\newtheorem{example}[theorem]{Example}
\newtheorem{convention}[theorem]{Convention}
\newtheorem{fact}[theorem]{Fact}
\newtheorem{question}[theorem]{Question}
\newtheorem{exercise}[theorem]{Exercise}


%%% Proof environment
\newenvironment{proof}{\proof}{\endproof}

\def\proof{\followon{Proof}}
\def\endproof{\ifSuppressEndOfProof\global\SuppressEndOfProoffalse
   \else\xqed\fi\endfollowon}
\def\followon#1{\trivlist\item[\hskip\labelsep{\it#1.}]}
\def\endfollowon{\endtrivlist}

% push end of proof to the right for a bit
\def\pushright#1{{\parfillskip=0pt\widowpenalty=10000
\displaywidowpenalty=10000\finalhyphendemerits=0\leavevmode\unskip
\nobreak\penalty50{#1}\hskip.2em\null\hfill \ \par}}

% command to force early end of proof marker. This is used if the end
% of proof marker would otherwise come out in the wrong place.
\def\qed{\markendofproof\global\SuppressEndOfProoftrue}
\newif\ifSuppressEndOfProof\SuppressEndOfProoffalse
\def\xqed{\pushright\markendofproof}
\def\markendofproof{ \ \ \ \mbox{$\dashv$}}
%%% End of proof environment