\relax \ifx\hyper@anchor\@undefined \global \let \oldcontentsline\contentsline \gdef \contentsline#1#2#3#4{\oldcontentsline{#1}{#2}{#3}} \global \let \oldnewlabel\newlabel \gdef \newlabel#1#2{\newlabelxx{#1}#2} \gdef \newlabelxx#1#2#3#4#5#6{\oldnewlabel{#1}{{#2}{#3}}} \AtEndDocument{\let \contentsline\oldcontentsline \let \newlabel\oldnewlabel} \else \global \let \hyper@last\relax \fi \citation{Kohlhase:ulsmf08} \citation{Kohlhase:OMDoc1.3} \@writefile{toc}{\contentsline {section}{\numberline {1}Introduction}{1}{section.1}} \@sref@def{intro}{page}{1} \@sref@def{intro}{label}{Section 1} \@writefile{toc}{\contentsline {subsection}{\numberline {1.1}The Setup}{1}{subsection.1.1}} \citation{Kohlhase:ssmtl*} \@writefile{toc}{\contentsline {subsection}{\numberline {1.2}Formatting and {OMDoc} conversion}{2}{subsection.1.2}} \@writefile{toc}{\contentsline {subsection}{\numberline {1.3}Makefile-based Automation}{2}{subsection.1.3}} \@writefile{lol}{\contentsline {lstlisting}{Makefile}{2}{lstlisting.-1}} \bibstyle{alpha} \bibdata{kwarc} \bibcite{Kohlhase:ulsmf08}{Koh08} \bibcite{Kohlhase:OMDoc1.3}{Koh10} \@writefile{toc}{\contentsline {section}{\numberline {2}Mathematical Content}{3}{section.2}} \@sref@def{sec.math}{page}{3} \@sref@def{sec.math}{label}{Section 2} \@writefile{toc}{\contentsline {subsection}{\numberline {2.1}Continuous Functions}{3}{subsection.2.1}} \@sref@def{sec.contfuncs}{page}{3} \@sref@def{sec.contfuncs}{label}{Subsection 2.1} \@writefile{thm}{\contentsline {STdefinitionEnv}{{\st@definition@kw }{1}{}}{3}{STtheoremAssEnv.1}} \@writefile{toc}{\contentsline {subsection}{\numberline {2.2}Differentiable Functions}{3}{subsection.2.2}} \@sref@def{sec.differentiable}{page}{3} \@sref@def{sec.differentiable}{label}{Subsection 2.2} \@writefile{thm}{\contentsline {STdefinitionEnv}{{\st@definition@kw }{2}{}}{3}{STtheoremAssEnv.2}} \@writefile{toc}{\contentsline {section}{\numberline {3}Conclusion}{3}{section.3}} \@sref@def{concl}{page}{3} \@sref@def{concl}{label}{Section 3}