From a631c338836bfe0ad6a1b771aa447ec3e04a0e79 Mon Sep 17 00:00:00 2001
From: Gonne <gonne@mathebau.de>
Date: Thu, 26 Oct 2023 11:29:01 +0200
Subject: [PATCH] =?UTF-8?q?F=C3=BCge=20=E2=80=9EApplied=20Proof=20Theory?=
 =?UTF-8?q?=E2=80=9C=20hinzu.?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 dummydatasqlite.sql | 1 +
 1 file changed, 1 insertion(+)

diff --git a/dummydatasqlite.sql b/dummydatasqlite.sql
index f093505..a936c8c 100644
--- a/dummydatasqlite.sql
+++ b/dummydatasqlite.sql
@@ -15,6 +15,7 @@ INSERT INTO `course` (name) VALUES
 ('Analysis I'),
 ('Analysis II (engl.)'),
 ('Analysis II'),
+('Applied Proof Theory'),
 ('Aussagen- und Prädikatenlogik'),
 ('Automaten, Formale Sprachen und Entscheidbarkeit'),
 ('Banach- und C*-Algebren'),