From 1bc64763164f041d1b52ec5b89dcf07a0beae9cf Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <michael.kohlhase@fau.de>
Date: Wed, 31 Jan 2018 13:51:34 +0100
Subject: [PATCH] clarificagtion

---
 courses/wuv.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/courses/wuv.md b/courses/wuv.md
index 2cd83ea..4d536be 100644
--- a/courses/wuv.md
+++ b/courses/wuv.md
@@ -34,6 +34,7 @@ die Arbeitsgruppe einzusteigen (z.B. für eine Promotion).
 | 20. 12. 2017 | Michael Kohlhase | Visual structure in math vexpressions. |
 | 10. 1. 2018 | Florian Rabe | String Interpolation in MMT |
 | 24. 1. 2018 | Frederik Schäfer| Weak Type Theory|
+| 31. 1. 2018| ---- | ------| 
 | 7. 2. 2018 | Dennis Müller| McAllister's Foundation and Voldemort's Theorem|
 | ?.?? 2018| Jonas Butz |Mathematical models as research data via flexiformal theory graphs|
 
-- 
GitLab