From c56c961955e292bebd5a08159298e9db71648a37 Mon Sep 17 00:00:00 2001
From: Josia Pietsch <git@jrpie.de>
Date: Wed, 10 Jan 2024 22:52:45 +0100
Subject: [PATCH] lecture 18

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

diff --git a/logic2.tex b/logic2.tex
index aed93db..7bc043d 100644
--- a/logic2.tex
+++ b/logic2.tex
@@ -41,6 +41,7 @@
 \input{inputs/lecture_15}
 \input{inputs/lecture_16}
 \input{inputs/lecture_17}
+\input{inputs/lecture_18}
 
 
 \cleardoublepage