From 195f28869b2cf19950d6e3b5041d1e134e6c1c5b Mon Sep 17 00:00:00 2001
From: Josia Pietsch <git@jrpie.de>
Date: Fri, 19 Jan 2024 11:53:27 +0100
Subject: [PATCH] lecture 23

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

diff --git a/logic3.tex b/logic3.tex
index 0268c53..2ce9491 100644
--- a/logic3.tex
+++ b/logic3.tex
@@ -47,6 +47,7 @@
 \input{inputs/lecture_20}
 \input{inputs/lecture_21}
 \input{inputs/lecture_22}
+\input{inputs/lecture_23}
 
 \cleardoublepage