From 7862d4e51530dc1d97fb20b63060d017f04b6a24 Mon Sep 17 00:00:00 2001
From: Sebastiano Tronto <sebastiano.tronto@gmail.com>
Date: Sun, 6 Sep 2020 19:29:27 +0200
Subject: Added exercises and some pages to the slides

---
 slides/preplogic-slides.aux | 40 ++++++++++++++++++++--------------------
 1 file changed, 20 insertions(+), 20 deletions(-)

(limited to 'slides/preplogic-slides.aux')

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 @@
 \@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{nav}{\headcommand {\slideentry {4}{0}{4}{46/46}{}{0}}}
-\@writefile{nav}{\headcommand {\beamer@framepages {46}{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{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 {47}{71}}}
-\@writefile{nav}{\headcommand {\beamer@sectionpages {47}{71}}}
+\@writefile{nav}{\headcommand {\beamer@subsectionpages {46}{71}}}
+\@writefile{nav}{\headcommand {\beamer@sectionpages {46}{71}}}
 \@writefile{nav}{\headcommand {\beamer@documentpages {71}}}
 \@writefile{nav}{\headcommand {\gdef \inserttotalframenumber {29}}}
-- 
cgit v1.3