From 7ab9e9a9fe08dc03f6d8ba4d2fd86a4e52a4a5b3 Mon Sep 17 00:00:00 2001 From: Sebastiano Tronto Date: Thu, 9 Sep 2021 09:11:16 +0200 Subject: Added notes by Jean-Marc Schlenker --- preplogic-notes.pdf | Bin 0 -> 339620 bytes 1 file changed, 0 insertions(+), 0 deletions(-) create mode 100644 preplogic-notes.pdf (limited to 'preplogic-notes.pdf') diff --git a/preplogic-notes.pdf b/preplogic-notes.pdf new file mode 100644 index 0000000..fffee96 Binary files /dev/null and b/preplogic-notes.pdf differ -- cgit v1.3