|
|
1.1 root 1: \relax
2: \@writefile{toc}{\string\contentsline\space {chapter}{\string\numberline\space {3}Evaluation}{6}}
3: \@writefile{lof}{\string\addvspace\space {10pt}}
4: \@writefile{lot}{\string\addvspace\space {10pt}}
5: \newlabel{eval}{{3}{6}}
6: \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {3.1}Environments and Values}{6}}
7: \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {3.2}Environment manipulation}{7}}
8: \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {3.3}Matching patterns}{7}}
9: \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {3.4}Applying a match}{9}}
10: \newlabel{matchwarn}{{3.4}{9}}
11: \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {3.5}Evaluation of expressions}{9}}
12: \newlabel{raisematch}{{3.5}{10}}
13: \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {3.6}Evaluation of value bindings}{10}}
14: \newlabel{raisebind}{{3.6}{10}}
15: \newlabel{bindwarn}{{3.6}{10}}
16: \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {3.7}Evaluation of type and datatype bindings}{10}}
17: \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {3.8}Evaluation of exception bindings}{11}}
18: \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {3.9}Evaluation of declarations}{11}}
19: \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {3.10}Evaluation of a program}{12}}
20: \global\@namedef{cp@eval}{
21: \setcounter{page}{13}
22: \setcounter{equation}{0}
23: \setcounter{enumi}{6}
24: \setcounter{enumii}{0}
25: \setcounter{enumiii}{0}
26: \setcounter{enumiv}{0}
27: \setcounter{footnote}{0}
28: \setcounter{mpfootnote}{0}
29: \setcounter{part}{0}
30: \setcounter{chapter}{3}
31: \setcounter{section}{10}
32: \setcounter{subsection}{0}
33: \setcounter{subsubsection}{0}
34: \setcounter{paragraph}{0}
35: \setcounter{subparagraph}{0}
36: \setcounter{figure}{0}
37: \setcounter{table}{0}
38: }
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.