diff options
Diffstat (limited to 'slides/preplogic-slides.aux')
| -rw-r--r-- | slides/preplogic-slides.aux | 40 |
1 files changed, 20 insertions, 20 deletions
diff --git a/slides/preplogic-slides.aux b/slides/preplogic-slides.aux index 70bc721..d51ee85 100644 --- a/slides/preplogic-slides.aux +++ b/slides/preplogic-slides.aux | |||
| @@ -76,26 +76,26 @@ | |||
| 76 | \@writefile{nav}{\headcommand {\beamer@framepages {42}{42}}} | 76 | \@writefile{nav}{\headcommand {\beamer@framepages {42}{42}}} |
| 77 | \@writefile{nav}{\headcommand {\slideentry {4}{0}{3}{43/45}{}{0}}} | 77 | \@writefile{nav}{\headcommand {\slideentry {4}{0}{3}{43/45}{}{0}}} |
| 78 | \@writefile{nav}{\headcommand {\beamer@framepages {43}{45}}} | 78 | \@writefile{nav}{\headcommand {\beamer@framepages {43}{45}}} |
| 79 | \@writefile{nav}{\headcommand {\slideentry {4}{0}{4}{46/46}{}{0}}} | 79 | \@writefile{toc}{\beamer@sectionintoc {5}{Proofs}{46}{0}{5}} |
| 80 | \@writefile{nav}{\headcommand {\beamer@framepages {46}{46}}} | 80 | \@writefile{nav}{\headcommand {\beamer@sectionpages {40}{45}}} |
| 81 | \@writefile{toc}{\beamer@sectionintoc {5}{Proofs}{47}{0}{5}} | 81 | \@writefile{nav}{\headcommand {\beamer@subsectionpages {40}{45}}} |
| 82 | \@writefile{nav}{\headcommand {\beamer@sectionpages {40}{46}}} | 82 | \@writefile{nav}{\headcommand {\sectionentry {5}{Proofs}{46}{Proofs}{0}}} |
| 83 | \@writefile{nav}{\headcommand {\beamer@subsectionpages {40}{46}}} | 83 | \@writefile{nav}{\headcommand {\slideentry {5}{0}{1}{46/49}{}{0}}} |
| 84 | \@writefile{nav}{\headcommand {\sectionentry {5}{Proofs}{47}{Proofs}{0}}} | 84 | \@writefile{nav}{\headcommand {\beamer@framepages {46}{49}}} |
| 85 | \@writefile{nav}{\headcommand {\slideentry {5}{0}{1}{47/50}{}{0}}} | 85 | \@writefile{nav}{\headcommand {\slideentry {5}{0}{2}{50/54}{}{0}}} |
| 86 | \@writefile{nav}{\headcommand {\beamer@framepages {47}{50}}} | 86 | \@writefile{nav}{\headcommand {\beamer@framepages {50}{54}}} |
| 87 | \@writefile{nav}{\headcommand {\slideentry {5}{0}{2}{51/55}{}{0}}} | 87 | \@writefile{nav}{\headcommand {\slideentry {5}{0}{3}{55/56}{}{0}}} |
| 88 | \@writefile{nav}{\headcommand {\beamer@framepages {51}{55}}} | 88 | \@writefile{nav}{\headcommand {\beamer@framepages {55}{56}}} |
| 89 | \@writefile{nav}{\headcommand {\slideentry {5}{0}{3}{56/57}{}{0}}} | 89 | \@writefile{nav}{\headcommand {\slideentry {5}{0}{4}{57/63}{}{0}}} |
| 90 | \@writefile{nav}{\headcommand {\beamer@framepages {56}{57}}} | 90 | \@writefile{nav}{\headcommand {\beamer@framepages {57}{63}}} |
| 91 | \@writefile{nav}{\headcommand {\slideentry {5}{0}{4}{58/64}{}{0}}} | 91 | \@writefile{nav}{\headcommand {\slideentry {5}{0}{5}{64/65}{}{0}}} |
| 92 | \@writefile{nav}{\headcommand {\beamer@framepages {58}{64}}} | 92 | \@writefile{nav}{\headcommand {\beamer@framepages {64}{65}}} |
| 93 | \@writefile{nav}{\headcommand {\slideentry {5}{0}{5}{65/66}{}{0}}} | 93 | \@writefile{nav}{\headcommand {\slideentry {5}{0}{6}{66/70}{}{0}}} |
| 94 | \@writefile{nav}{\headcommand {\beamer@framepages {65}{66}}} | 94 | \@writefile{nav}{\headcommand {\beamer@framepages {66}{70}}} |
| 95 | \@writefile{nav}{\headcommand {\slideentry {5}{0}{6}{67/71}{}{0}}} | 95 | \@writefile{nav}{\headcommand {\slideentry {5}{0}{7}{71/71}{}{0}}} |
| 96 | \@writefile{nav}{\headcommand {\beamer@framepages {67}{71}}} | 96 | \@writefile{nav}{\headcommand {\beamer@framepages {71}{71}}} |
| 97 | \@writefile{nav}{\headcommand {\beamer@partpages {1}{71}}} | 97 | \@writefile{nav}{\headcommand {\beamer@partpages {1}{71}}} |
| 98 | \@writefile{nav}{\headcommand {\beamer@subsectionpages {47}{71}}} | 98 | \@writefile{nav}{\headcommand {\beamer@subsectionpages {46}{71}}} |
| 99 | \@writefile{nav}{\headcommand {\beamer@sectionpages {47}{71}}} | 99 | \@writefile{nav}{\headcommand {\beamer@sectionpages {46}{71}}} |
| 100 | \@writefile{nav}{\headcommand {\beamer@documentpages {71}}} | 100 | \@writefile{nav}{\headcommand {\beamer@documentpages {71}}} |
| 101 | \@writefile{nav}{\headcommand {\gdef \inserttotalframenumber {29}}} | 101 | \@writefile{nav}{\headcommand {\gdef \inserttotalframenumber {29}}} |