\relax 
\@writefile{toc}{\contentsline {chapter}{\numberline {B}A four-panelled architecture}{79}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\@writefile{toc}{\contentsline {section}{\numberline {B.1}The Complete Kernel}{79}}
\@writefile{toc}{\contentsline {subsection}{\numberline {B.1.1}Sanitizing}{79}}
\@writefile{toc}{\contentsline {subsection}{\numberline {B.1.2}Type checking {\em  vs.}\ inference}{79}}
\@writefile{toc}{\contentsline {subsection}{\numberline {B.1.3}Compiling}{79}}
\@writefile{toc}{\contentsline {section}{\numberline {B.2}The Complete Type System}{80}}
\newlabel{CompleteTypes}{{B.2}{80}}
\@writefile{toc}{\contentsline {subsection}{\numberline {B.2.1}The type prover}{81}}
\@writefile{toc}{\contentsline {section}{\numberline {B.3}Structure of the \texttt  {TypeChecker}}{81}}
\@writefile{toc}{\contentsline {subsection}{\numberline {B.3.1}The type constructs}{82}}
\@writefile{toc}{\contentsline {subsection}{\numberline {B.3.2}Defining new types}{82}}
\@writefile{toc}{\contentsline {section}{\numberline {B.4}The Basic Instruction Set}{82}}
\@writefile{toc}{\contentsline {section}{\numberline {B.5}The Complete Backend}{82}}
\@writefile{toc}{\contentsline {subsection}{\numberline {B.5.1}The \texttt  {Runtime} class}{82}}
\@writefile{toc}{\contentsline {subsection}{\numberline {B.5.2}The \texttt  {RuntimeObject} class}{82}}
\@writefile{toc}{\contentsline {subsection}{\numberline {B.5.3}The \texttt  {DisplayManager} class}{82}}
\@writefile{toc}{\contentsline {subsection}{\numberline {B.5.4}The \texttt  {ErrorManager} class}{82}}
\@setckpt{fourpanels}{
\setcounter{page}{83}
\setcounter{equation}{0}
\setcounter{enumi}{3}
\setcounter{enumii}{0}
\setcounter{enumiii}{0}
\setcounter{enumiv}{0}
\setcounter{footnote}{0}
\setcounter{mpfootnote}{0}
\setcounter{part}{0}
\setcounter{chapter}{2}
\setcounter{section}{5}
\setcounter{subsection}{4}
\setcounter{subsubsection}{0}
\setcounter{paragraph}{0}
\setcounter{subparagraph}{0}
\setcounter{figure}{0}
\setcounter{table}{0}
\setcounter{parentequation}{0}
\setcounter{theorem}{0}
\setcounter{definition}{0}
\setcounter{corollary}{0}
\setcounter{example}{0}
\setcounter{exercise}{0}
\setcounter{algolistcounter}{0}
\setcounter{bnflistcounter}{1}
\setcounter{bnfrulecounter}{6}
\setcounter{globenumcounter}{0}
\setcounter{tfcounter}{0}
\setcounter{qcounter}{0}
\setcounter{sqcounter}{0}
}