\relax 
\@writefile{toc}{\string\contentsline\space {chapter}{\string\numberline\space {3}Evaluation}{6}}
\@writefile{lof}{\string\addvspace\space {10pt}}
\@writefile{lot}{\string\addvspace\space {10pt}}
\newlabel{eval}{{3}{6}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {3.1}Environments and Values}{6}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {3.2}Environment manipulation}{7}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {3.3}Matching patterns}{7}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {3.4}Applying a match}{9}}
\newlabel{matchwarn}{{3.4}{9}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {3.5}Evaluation of expressions}{9}}
\newlabel{raisematch}{{3.5}{10}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {3.6}Evaluation of value bindings}{10}}
\newlabel{raisebind}{{3.6}{10}}
\newlabel{bindwarn}{{3.6}{10}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {3.7}Evaluation of type and datatype bindings}{10}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {3.8}Evaluation of exception bindings}{11}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {3.9}Evaluation of declarations}{11}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {3.10}Evaluation of a program}{12}}
\global\@namedef{cp@eval}{
\setcounter{page}{13}
\setcounter{equation}{0}
\setcounter{enumi}{6}
\setcounter{enumii}{0}
\setcounter{enumiii}{0}
\setcounter{enumiv}{0}
\setcounter{footnote}{0}
\setcounter{mpfootnote}{0}
\setcounter{part}{0}
\setcounter{chapter}{3}
\setcounter{section}{10}
\setcounter{subsection}{0}
\setcounter{subsubsection}{0}
\setcounter{paragraph}{0}
\setcounter{subparagraph}{0}
\setcounter{figure}{0}
\setcounter{table}{0}
}
