From a2f5328287b8e571265f8a3d029daa0530cde8d4 Mon Sep 17 00:00:00 2001
From: Josia Pietsch <git@jrpie.de>
Date: Mon, 18 Dec 2023 21:16:41 +0100
Subject: [PATCH] lecture 17

---
 logic.sty  | 1 +
 logic2.tex | 1 +
 2 files changed, 2 insertions(+)

diff --git a/logic.sty b/logic.sty
index 5f0f75a..7c3a7af 100644
--- a/logic.sty
+++ b/logic.sty
@@ -127,6 +127,7 @@
 
 
 \DeclareSimpleMathOperator{CH}
+\DeclareSimpleMathOperator{GCH}
 \DeclareSimpleMathOperator{DC}
 \DeclareSimpleMathOperator{Ord}
 \DeclareSimpleMathOperator{OR} % Ordinals
diff --git a/logic2.tex b/logic2.tex
index 319b38c..aed93db 100644
--- a/logic2.tex
+++ b/logic2.tex
@@ -40,6 +40,7 @@
 \input{inputs/lecture_14}
 \input{inputs/lecture_15}
 \input{inputs/lecture_16}
+\input{inputs/lecture_17}
 
 
 \cleardoublepage