equal
deleted
inserted
replaced
90 \newlabel{sec:variables}{{4.1}{28}{Variables \label {sec:variables}\relax }{section.4.1}{}} |
90 \newlabel{sec:variables}{{4.1}{28}{Variables \label {sec:variables}\relax }{section.4.1}{}} |
91 \@writefile{toc}{\contentsline {section}{\numberline {4.1}Variables }{28}{section.4.1}} |
91 \@writefile{toc}{\contentsline {section}{\numberline {4.1}Variables }{28}{section.4.1}} |
92 \newlabel{sec:assumptions}{{4.2}{30}{Assumptions \label {sec:assumptions}\relax }{section.4.2}{}} |
92 \newlabel{sec:assumptions}{{4.2}{30}{Assumptions \label {sec:assumptions}\relax }{section.4.2}{}} |
93 \@writefile{toc}{\contentsline {section}{\numberline {4.2}Assumptions }{30}{section.4.2}} |
93 \@writefile{toc}{\contentsline {section}{\numberline {4.2}Assumptions }{30}{section.4.2}} |
94 \citation{isabelle-isar-ref} |
94 \citation{isabelle-isar-ref} |
95 \@writefile{toc}{\contentsline {section}{\numberline {4.3}Results}{32}{section.4.3}} |
95 \newlabel{sec:results}{{4.3}{32}{Results \label {sec:results}\relax }{section.4.3}{}} |
|
96 \@writefile{toc}{\contentsline {section}{\numberline {4.3}Results }{32}{section.4.3}} |
96 \@writefile{toc}{\contentsline {chapter}{\numberline {5}Isar proof texts}{34}{chapter.5}} |
97 \@writefile{toc}{\contentsline {chapter}{\numberline {5}Isar proof texts}{34}{chapter.5}} |
97 \@writefile{lof}{\addvspace {10\p@ }} |
98 \@writefile{lof}{\addvspace {10\p@ }} |
98 \@writefile{lot}{\addvspace {10\p@ }} |
99 \@writefile{lot}{\addvspace {10\p@ }} |
99 \@writefile{toc}{\contentsline {section}{\numberline {5.1}Proof context}{34}{section.5.1}} |
100 \@writefile{toc}{\contentsline {section}{\numberline {5.1}Proof context}{34}{section.5.1}} |
100 \newlabel{sec:isar-proof-state}{{5.2}{34}{Proof state \label {sec:isar-proof-state}\relax }{section.5.2}{}} |
101 \newlabel{sec:isar-proof-state}{{5.2}{34}{Proof state \label {sec:isar-proof-state}\relax }{section.5.2}{}} |