\relax 
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {1}Overview}{1}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {2}Using the Compiler}{1}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {3}Syntax}{2}}
\newlabel{section:syntax}{{3}{2}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {3.1}Creating a type library}{2}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {3.2}Compiling CLU files}{2}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {3.3}Linking a program}{3}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {3.4}Spec-checking CLU files}{3}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {3.5}Examples}{4}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {3.6}A More Complicated Example}{5}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {4}Using Makefiles}{5}}