From 73eb4f16452b3837851bd1e5e7494bca2dfb2357 Mon Sep 17 00:00:00 2001
From: Josia Pietsch <git@jrpie.de>
Date: Sat, 14 Oct 2023 00:04:27 +0200
Subject: [PATCH] set language to english

---
 logic.sty  | 2 +-
 logic3.tex | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/logic.sty b/logic.sty
index 2a864c8..4ef7ba3 100644
--- a/logic.sty
+++ b/logic.sty
@@ -1,4 +1,4 @@
-\ProvidesPackage{wtheo}[2022/02/10 - Style file for notes of Logic 3: Abstract Topological Dynamics and Descriptive Set Theory]
+\ProvidesPackage{logic}[2023/10/14 - Style file for notes of Logic 3: Abstract Topological Dynamics and Descriptive Set Theory]
 \usepackage[english]{babel}
 \usepackage[cache, number in = section]{fancythm}
 \usepackage{mkessler-mathfont}
diff --git a/logic3.tex b/logic3.tex
index b3f0a57..32b8bc6 100644
--- a/logic3.tex
+++ b/logic3.tex
@@ -1,4 +1,4 @@
-\documentclass[10pt,ngerman,a4paper,fancyfoot,git]{mkessler-script}
+\documentclass[10pt,a4paper,fancyfoot,git]{mkessler-script}
 
 \course{Logic 3: Abstract Topological Dynamics and Descriptive Set Theory}
 \lecturer{Aleksandra Kwiatkowska}