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.toc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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

diff --git a/slides/preplogic-slides.toc b/slides/preplogic-slides.toc
index 1dc8678..80170ac 100644
--- a/slides/preplogic-slides.toc
+++ b/slides/preplogic-slides.toc
@@ -2,4 +2,4 @@
 \beamer@sectionintoc {2}{Logical operations}{11}{0}{2}
 \beamer@sectionintoc {3}{Implication}{28}{0}{3}
 \beamer@sectionintoc {4}{Quantifiers}{40}{0}{4}
-\beamer@sectionintoc {5}{Proofs}{47}{0}{5}
+\beamer@sectionintoc {5}{Proofs}{46}{0}{5}
-- 
cgit v1.3