--- a/CookBook/document/implementation.aux	Thu Oct 09 12:58:50 2008 -0400
+++ b/CookBook/document/implementation.aux	Thu Oct 09 19:25:42 2008 -0400
@@ -92,7 +92,8 @@
 \newlabel{sec:assumptions}{{4.2}{30}{Assumptions \label {sec:assumptions}\relax }{section.4.2}{}}
 \@writefile{toc}{\contentsline {section}{\numberline {4.2}Assumptions }{30}{section.4.2}}
 \citation{isabelle-isar-ref}
-\@writefile{toc}{\contentsline {section}{\numberline {4.3}Results}{32}{section.4.3}}
+\newlabel{sec:results}{{4.3}{32}{Results \label {sec:results}\relax }{section.4.3}{}}
+\@writefile{toc}{\contentsline {section}{\numberline {4.3}Results }{32}{section.4.3}}
 \@writefile{toc}{\contentsline {chapter}{\numberline {5}Isar proof texts}{34}{chapter.5}}
 \@writefile{lof}{\addvspace {10\p@ }}
 \@writefile{lot}{\addvspace {10\p@ }}