\relax 
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {1}Motivation}{1}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {2}Equational Logic}{1}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {2.1}Syntax}{1}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {2.2}Semantics}{2}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {3}Equational Proofs}{3}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {4}Equational Theories}{4}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {5}What Does Any of This Have to do with Software Engineering?}{4}}