\relax 
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {1}Introduction}{1}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {2}Definition of Binary Trees}{1}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {3}Definition of Size}{2}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {4}Proving a Theorem by Structural Induction}{2}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {5}Exercises for the Reader}{3}}