From 8138d498fe5072355b2e88e9bbf5aa7d54b061c3 Mon Sep 17 00:00:00 2001
From: Florian Rabe <florian.rabe@gmail.com>
Date: Mon, 20 Jun 2022 14:25:05 +0000
Subject: [PATCH] Update swuv.md

---
 courses/swuv.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/courses/swuv.md b/courses/swuv.md
index ebf58a2..8f5b5c7 100644
--- a/courses/swuv.md
+++ b/courses/swuv.md
@@ -61,7 +61,7 @@ Therefore, the seminar is well-suited for newcomers, e.g., students interested i
 | 02. 06. 2022 | Kwarc group | Math Archives | group discussion
 | 09. 06. 2022 | Luca Wolff | Automated Theorem Proving for MMT | BSc thesis presentation 
 | 16. 06. 2022 | holiday |  | 
-| 23. 06. 2022 | |  | 
+| 23. 06. 2022 | Florian Rabe | Unification in MMT 
 | 30. 06. 2022 | |  | 
 | 07. 07. 2022 | Sven Wille | Interactive Theorem Proving in MMT  | MSc thesis presentation 
 | 14. 07. 2022 | Moritz Blöcher | Towards Functional Programming in LATIN2 | BSc. thesis presentation
-- 
GitLab