root / CSL17 / DICE2017_TALK / unboundedArithmetic.aux @ 188
Historique | Voir | Annoter | Télécharger (1,82 ko)
1 |
\relax |
---|---|
2 |
\providecommand\HyperFirstAtBeginDocument{\AtBeginDocument} |
3 |
\HyperFirstAtBeginDocument{\ifx\hyper@anchor\@undefined |
4 |
\global\let\oldcontentsline\contentsline |
5 |
\gdef\contentsline#1#2#3#4{\oldcontentsline{#1}{#2}{#3}} |
6 |
\global\let\oldnewlabel\newlabel |
7 |
\gdef\newlabel#1#2{\newlabelxx{#1}#2} |
8 |
\gdef\newlabelxx#1#2#3#4#5#6{\oldnewlabel{#1}{{#2}{#3}}} |
9 |
\AtEndDocument{\ifx\hyper@anchor\@undefined |
10 |
\let\contentsline\oldcontentsline |
11 |
\let\newlabel\oldnewlabel |
12 |
\fi} |
13 |
\fi} |
14 |
\global\let\hyper@last\relax |
15 |
\gdef\HyperFirstAtBeginDocument#1{#1} |
16 |
\providecommand\HyField@AuxAddToFields[1]{} |
17 |
\@writefile{toc}{\beamer@endinputifotherversion {3.20pt}} |
18 |
\@writefile{nav}{\beamer@endinputifotherversion {3.20pt}} |
19 |
\@writefile{nav}{\headcommand {\slideentry {0}{0}{1}{1/1}{}{0}}} |
20 |
\@writefile{nav}{\headcommand {\beamer@framepages {1}{1}}} |
21 |
\@writefile{nav}{\headcommand {\slideentry {0}{0}{2}{2/2}{}{0}}} |
22 |
\@writefile{nav}{\headcommand {\beamer@framepages {2}{2}}} |
23 |
\@writefile{nav}{\headcommand {\slideentry {0}{0}{3}{3/3}{}{0}}} |
24 |
\@writefile{nav}{\headcommand {\beamer@framepages {3}{3}}} |
25 |
\@writefile{nav}{\headcommand {\slideentry {0}{0}{4}{4/4}{}{0}}} |
26 |
\@writefile{nav}{\headcommand {\beamer@framepages {4}{4}}} |
27 |
\@writefile{nav}{\headcommand {\slideentry {0}{0}{5}{5/5}{}{0}}} |
28 |
\@writefile{nav}{\headcommand {\beamer@framepages {5}{5}}} |
29 |
\@writefile{nav}{\headcommand {\slideentry {0}{0}{6}{6/6}{}{0}}} |
30 |
\@writefile{nav}{\headcommand {\beamer@framepages {6}{6}}} |
31 |
\@writefile{nav}{\headcommand {\slideentry {0}{0}{7}{7/7}{}{0}}} |
32 |
\@writefile{nav}{\headcommand {\beamer@framepages {7}{7}}} |
33 |
\@writefile{nav}{\headcommand {\beamer@partpages {1}{7}}} |
34 |
\@writefile{nav}{\headcommand {\beamer@subsectionpages {1}{7}}} |
35 |
\@writefile{nav}{\headcommand {\beamer@sectionpages {1}{7}}} |
36 |
\@writefile{nav}{\headcommand {\beamer@documentpages {7}}} |
37 |
\@writefile{nav}{\headcommand {\def \inserttotalframenumber {7}}} |