    % My title
\newcommand{\MyTitle}
    {\title{{\bf On Axiom Type-Checking and Trace Collection in Extended ML}\\
             an old english draft}}

    % My author
\newcommand{\MyAuthor}
    {\author{Miko{\l}aj Konarski
             \thanks{Institute of Informatics, Warsaw University, Warsaw, Poland.}\\
             {\tt mikon@mimuw.edu.pl}}}

\newcommand{\MyDate}
    {22 Jun 1997}

    % Amsthm names 
\newcommand{\Theorem}{Theorem}
\newcommand{\Corollary}{Corollary}
\newcommand{\Lemma}{Lemma}
\newcommand{\Observation}{Observation}

    % Theorem names 
\newcommand{\thmcomforting}{Comforting Lemma}

    % Part, section, etc. names
\newcommand{\partpreface}{Preface}
\newcommand{\partintro}{Introduction}
\newcommand{\parttheory}{Theory}
\newcommand{\partimpl}{Implementation}

\newcommand{\secover}{Overview of the field}
\newcommand{\secsml}{Standard ML}
\newcommand{\seceml}{Extended ML}
\newcommand{\seckit}{The EML Kit}
\newcommand{\secformal}{Natural Semantics}
\newcommand{\secdepend}{Conclusions and Dependencies Diagram}

\newcommand{\secanal}{The Concept of Static Analysis}
\newcommand{\secall}{}
\newcommand{\secbasic}{Basic Definitions}
\newcommand{\secsemantic}{Semantic Objects}
\newcommand{\secjudgments}{Judgments}
\newcommand{\secprincipal}{Principal Signatures}
\newcommand{\secinterest}{The Extended ML Case}
\newcommand{\secindeterm}{Indeterminism}
\newcommand{\secimposing}{Imposing}
\newcommand{\secanaleml}{}

\newcommand{\secaxiom}{Axiom Type-Checking}
\newcommand{\secinsig}{Axioms in Signatures}
\newcommand{\secquasi}{Modules Elaboration in QUASI-EML}
\newcommand{\secnaive}{A Naive Approach to the EML Rule 65}
\newcommand{\seccomforting}{Comforting Lemma}
\newcommand{\secmature}{The Mature Approach to the EML Rule 65}
\newcommand{\secvalidating}{Validating Axioms}

\newcommand{\secinter}{Interlude}
\newcommand{\secstatic}{Static Semantics of Signatures}
\newcommand{\secelaborating}{Elaborating Signatures}

\newcommand{\secsearch}{In the Search for the Basis $\B_e$}
\newcommand{\secmodest}{The Modest Basis}
\newcommand{\secignorant}{The Ignorant Basis}
\newcommand{\secomniscient}{The Omniscient Basis}
\newcommand{\secobservation}{The Observation}

\newcommand{\sectrace}{Trace Collection}
\newcommand{\sectraces}{Traces}
\newcommand{\secsubstitutions}{Substitutions and trace collection}
\newcommand{\secscheme}{Trace Schemes}

\newcommand{\secactual}{The Actual Implementation}
\newcommand{\secconventions}{Basic Conventions}
\newcommand{\secimplaxioms}{Axioms}
\newcommand{\secimpltraces}{Traces}
\newcommand{\secanegdote}{An Anegdote}









%%% Local Variables: 
%%% mode: latex
%%% TeX-master: "eml-type"
%%% End: 
