From 41fe970a0ba8e5568251ba07f5437e48bb0c49a6 Mon Sep 17 00:00:00 2001 From: Josia Pietsch Date: Tue, 30 Jan 2024 12:10:16 +0100 Subject: [PATCH] lecture 26 --- logic3.tex | 1 + 1 file changed, 1 insertion(+) diff --git a/logic3.tex b/logic3.tex index 99489d9..c384d5c 100644 --- a/logic3.tex +++ b/logic3.tex @@ -52,6 +52,7 @@ \input{inputs/lecture_23} \input{inputs/lecture_24} \input{inputs/lecture_25} +\input{inputs/lecture_26} \cleardoublepage