From f0e201749eff213a0d9a9d3d5be6352dbaa38e26 Mon Sep 17 00:00:00 2001
From: Sebastiano Tronto <sebastiano.tronto@gmail.com>
Date: Sun, 6 Sep 2020 18:28:58 +0200
Subject: Updates, added README

---
 slides/preplogic-slides.toc | 9 ++-------
 1 file changed, 2 insertions(+), 7 deletions(-)

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

diff --git a/slides/preplogic-slides.toc b/slides/preplogic-slides.toc
index 58f0963..1dc8678 100644
--- a/slides/preplogic-slides.toc
+++ b/slides/preplogic-slides.toc
@@ -1,10 +1,5 @@
 \beamer@sectionintoc {1}{Statements}{3}{0}{1}
 \beamer@sectionintoc {2}{Logical operations}{11}{0}{2}
-\beamer@subsectionintoc {2}{1}{Boolean algebra}{22}{0}{2}
-\beamer@subsectionintoc {2}{2}{Truth tables}{25}{0}{2}
 \beamer@sectionintoc {3}{Implication}{28}{0}{3}
-\beamer@sectionintoc {4}{Quantifiers}{39}{0}{4}
-\beamer@sectionintoc {5}{Proofs}{46}{0}{5}
-\beamer@subsectionintoc {5}{1}{Direct proofs}{50}{0}{5}
-\beamer@subsectionintoc {5}{2}{Proofs by contradiction}{55}{0}{5}
-\beamer@subsectionintoc {5}{3}{Proofs by induction}{64}{0}{5}
+\beamer@sectionintoc {4}{Quantifiers}{40}{0}{4}
+\beamer@sectionintoc {5}{Proofs}{47}{0}{5}
-- 
cgit v1.3