Mercurial Mercurial > hg > isabelle-cookbook / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
new version of implementation.aux
authorChristian Urban <urbanc@in.tum.de>
Thu, 09 Oct 2008 19:25:42 -0400
changeset 22 0c7b32341ca2
parent 21 2356e5c70d98
child 23 1322990e4ee7
new version of implementation.aux
CookBook/document/implementation.aux file | annotate | diff | comparison | revisions
cookbook.pdf file | annotate | diff | comparison | revisions 
--- 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@ }}
Binary file cookbook.pdf has changed
isabelle-cookbook