From 7862d4e51530dc1d97fb20b63060d017f04b6a24 Mon Sep 17 00:00:00 2001 From: Sebastiano Tronto Date: Sun, 6 Sep 2020 19:29:27 +0200 Subject: Added exercises and some pages to the slides --- exercises/preplogic-exercises.synctex.gz | Bin 12003 -> 15152 bytes 1 file changed, 0 insertions(+), 0 deletions(-) (limited to 'exercises/preplogic-exercises.synctex.gz') diff --git a/exercises/preplogic-exercises.synctex.gz b/exercises/preplogic-exercises.synctex.gz index 1a25b1d..7531587 100644 Binary files a/exercises/preplogic-exercises.synctex.gz and b/exercises/preplogic-exercises.synctex.gz differ -- cgit v1.3