From 92a06d3a90d5ac9bc9072e6a23e4309468e14c5b Mon Sep 17 00:00:00 2001
From: Josia Pietsch <git@jrpie.de>
Date: Mon, 15 Jan 2024 15:47:41 +0100
Subject: [PATCH] lecture 20

---
 logic2.tex | 1 +
 1 file changed, 1 insertion(+)

diff --git a/logic2.tex b/logic2.tex
index da74ac4..cabf756 100644
--- a/logic2.tex
+++ b/logic2.tex
@@ -43,6 +43,7 @@
 \input{inputs/lecture_17}
 \input{inputs/lecture_18}
 \input{inputs/lecture_19}
+\input{inputs/lecture_20}
 
 
 \cleardoublepage