summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/latex/stex/example/paper/paper.aux
blob: b6d2090b5ccd8dbdc445a82296a821e69e2a958c (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
\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}