% To get the current version of Situation Theory, typeset this document using LaTeX.
% To change the list of sections, edit the file st-sections.







\let\notstandalone=0

%  The following defines \bozocommand to be clones of the standard
%  latex commands \command.  \bozorenewcommand is slightly different in that
%  it does not produce an error message when its argument is already defined.

\catcode`\@=11
\def\bozonewtheorem#1{\@ifnextchar[{\@othm{#1}}{\@nthm{#1}}}
\def\bozonewcounter#1{\expandafter\@ifdefinable \csname c@#1\endcsname
    {\@definecounter{#1}}\@ifnextchar[{\@newctr{#1}}{}}
\def\bozorenewcommand#1{\edef\@tempa{\expandafter\@cdr\string
  #1\@nil}\@ifnextchar [{\@reargdef#1}{\@reargdef#1[0]}}

\catcode`\@=\active


% The \documentstyle line must include all style options used in the 
% contributed papers
\documentstyle[basics,enumsentence,amssym,st]{article}
\title{Situation Theory}

%%was amssymbols

\author{Jerry Seligman\thanks{Insitute of Philosophy,
    National Chung Cheng University, Taiwan} \and
Lawrence S.~Moss\thanks{Departments of Mathematics and Computer Science,
                        Indiana University, Bloomington,  USA}
      }



\date{}

\begin{document}
\maketitle


\tableofcontents

%\pagestyle{artheadings}


% To make an index, uncomment the following line
%\makeindex

{  % This is a very important brace, since in its
   % scope the enddocument command is redefined.
   % Only after all files are included, this brace is closed

% The following redefines \document to be \contribution
\def\documentstyle[#1]#2{}
\def\document{\contribution}
\newenvironment{contribution}
 {\ifodd\thepage \else\thispagestyle{empty}\ \fi
   % \setcounter{section}{0}
    \setcounter{figure}{0}
    \setcounter{table}{0}
    \setcounter{equation}{0}
    \setcounter{footnote}{0}}
{\if@needwriteindent\@writeindent{\the\unitindent}\fi \clearpage}
\def\enddocument{\endcontribution}

% \bibliography should read in the local bbl file, not the global one.
% This is the standard definition:
%
%\def\bibliography#1{\if@filesw\immediate\write\@auxout{\string\bibdata{#1}}\fi
%  \@input{\jobname.bbl}}
%
%  which we rplace by:

\def\bibliography#1{\if@filesw\immediate\write\@auxout{\string\bibdata{#1}}\fi
  \@input{\contribname.bbl}}

% include contributions
\newcommand{\includecontrib}[1]{
\edef\contribname{#1}
\include{#1}}


% The following redefined \newtheorem and \newcounter so that they
% never tru to redefine an already-defined theorem or counter.  If 
% a counter is already defined, \newcounter sets it to zero.  
% Theorem-like environments should be  defined at the top level

\def\ifundef#1{\expandafter\ifx\csname#1\endcsname\relax}
\def\newtheorem#1#2{\ifundef{#1}\bozonewtheorem{#1}{#2} \fi}
\def\newcounter#1{\ifundef{c@#1}\bozonewcounter{#1}\else\setcounter{#1}{0} \fi}

% Redefine \newcommand and \newenvironment
\def\newcommand#1{\bozorenewcommand{#1}}
\def\newenvironment#1{\renewenvironment{#1}}

% Disable \makeindex 
\def\makeindex{}

\input{st-sections}


% Remember the final close brace
}\end{document}
