Minor fixes

1 files changed, 28 insertions, 28 deletions

diff --git a/slides/preplogic-slides.aux b/slides/preplogic-slides.aux
index d51ee85..ee1fb2f 100644
--- a/slides/preplogic-slides.aux
+++ b/slides/preplogic-slides.aux
@@ -70,32 +70,32 @@
 \@writefile{nav}{\headcommand {\beamer@sectionpages {28}{39}}}
 \@writefile{nav}{\headcommand {\beamer@subsectionpages {28}{39}}}
 \@writefile{nav}{\headcommand {\sectionentry {4}{Quantifiers}{40}{Quantifiers}{0}}}
-\@writefile{nav}{\headcommand {\slideentry {4}{0}{1}{40/41}{}{0}}}
-\@writefile{nav}{\headcommand {\beamer@framepages {40}{41}}}
-\@writefile{nav}{\headcommand {\slideentry {4}{0}{2}{42/42}{}{0}}}
-\@writefile{nav}{\headcommand {\beamer@framepages {42}{42}}}
-\@writefile{nav}{\headcommand {\slideentry {4}{0}{3}{43/45}{}{0}}}
-\@writefile{nav}{\headcommand {\beamer@framepages {43}{45}}}
-\@writefile{toc}{\beamer@sectionintoc {5}{Proofs}{46}{0}{5}}
-\@writefile{nav}{\headcommand {\beamer@sectionpages {40}{45}}}
-\@writefile{nav}{\headcommand {\beamer@subsectionpages {40}{45}}}
-\@writefile{nav}{\headcommand {\sectionentry {5}{Proofs}{46}{Proofs}{0}}}
-\@writefile{nav}{\headcommand {\slideentry {5}{0}{1}{46/49}{}{0}}}
-\@writefile{nav}{\headcommand {\beamer@framepages {46}{49}}}
-\@writefile{nav}{\headcommand {\slideentry {5}{0}{2}{50/54}{}{0}}}
-\@writefile{nav}{\headcommand {\beamer@framepages {50}{54}}}
-\@writefile{nav}{\headcommand {\slideentry {5}{0}{3}{55/56}{}{0}}}
-\@writefile{nav}{\headcommand {\beamer@framepages {55}{56}}}
-\@writefile{nav}{\headcommand {\slideentry {5}{0}{4}{57/63}{}{0}}}
-\@writefile{nav}{\headcommand {\beamer@framepages {57}{63}}}
-\@writefile{nav}{\headcommand {\slideentry {5}{0}{5}{64/65}{}{0}}}
-\@writefile{nav}{\headcommand {\beamer@framepages {64}{65}}}
-\@writefile{nav}{\headcommand {\slideentry {5}{0}{6}{66/70}{}{0}}}
-\@writefile{nav}{\headcommand {\beamer@framepages {66}{70}}}
-\@writefile{nav}{\headcommand {\slideentry {5}{0}{7}{71/71}{}{0}}}
-\@writefile{nav}{\headcommand {\beamer@framepages {71}{71}}}
-\@writefile{nav}{\headcommand {\beamer@partpages {1}{71}}}
-\@writefile{nav}{\headcommand {\beamer@subsectionpages {46}{71}}}
-\@writefile{nav}{\headcommand {\beamer@sectionpages {46}{71}}}
-\@writefile{nav}{\headcommand {\beamer@documentpages {71}}}
+\@writefile{nav}{\headcommand {\slideentry {4}{0}{1}{40/42}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {40}{42}}}
+\@writefile{nav}{\headcommand {\slideentry {4}{0}{2}{43/43}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {43}{43}}}
+\@writefile{nav}{\headcommand {\slideentry {4}{0}{3}{44/46}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {44}{46}}}
+\@writefile{toc}{\beamer@sectionintoc {5}{Proofs}{47}{0}{5}}
+\@writefile{nav}{\headcommand {\beamer@sectionpages {40}{46}}}
+\@writefile{nav}{\headcommand {\beamer@subsectionpages {40}{46}}}
+\@writefile{nav}{\headcommand {\sectionentry {5}{Proofs}{47}{Proofs}{0}}}
+\@writefile{nav}{\headcommand {\slideentry {5}{0}{1}{47/50}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {47}{50}}}
+\@writefile{nav}{\headcommand {\slideentry {5}{0}{2}{51/55}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {51}{55}}}
+\@writefile{nav}{\headcommand {\slideentry {5}{0}{3}{56/57}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {56}{57}}}
+\@writefile{nav}{\headcommand {\slideentry {5}{0}{4}{58/64}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {58}{64}}}
+\@writefile{nav}{\headcommand {\slideentry {5}{0}{5}{65/66}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {65}{66}}}
+\@writefile{nav}{\headcommand {\slideentry {5}{0}{6}{67/71}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {67}{71}}}
+\@writefile{nav}{\headcommand {\slideentry {5}{0}{7}{72/72}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {72}{72}}}
+\@writefile{nav}{\headcommand {\beamer@partpages {1}{72}}}
+\@writefile{nav}{\headcommand {\beamer@subsectionpages {47}{72}}}
+\@writefile{nav}{\headcommand {\beamer@sectionpages {47}{72}}}
+\@writefile{nav}{\headcommand {\beamer@documentpages {72}}}
 \@writefile{nav}{\headcommand {\gdef \inserttotalframenumber {29}}}