From b6e2f01ff461bfe9d42c3fe532ad8f833ef94941 Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <m.kohlhase@jacobs-university.de>
Date: Mon, 23 Oct 2017 10:01:24 +0200
Subject: [PATCH] more

---
 courses/wuv.md | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/courses/wuv.md b/courses/wuv.md
index c1bcf84..d44bfe3 100644
--- a/courses/wuv.md
+++ b/courses/wuv.md
@@ -42,7 +42,7 @@ Themen werden mit dem Dozenten ausgemacht; typischerweise in den ersten Seminart
 | Math Parsing in Concise | Pichler M.Sc. | relativ einfach | |
 | Virtual Theories | | | Tom Wiesing|
 | MitM-based integration of CAS | | | Tom Wiesing|
-| Isabelle Type Classes and Locales| | logiklastig| |
+| Isabelle Type Classes and Locales| | logik-lastig| |
 | LF + Interection Types | | fortgeschritten| |
 | Model Knowledge Representation for HPC | | | Theresa Pollinger| | 
 | McAllister-Foundation || mit Voldemort's Theorem (schwer) |||
@@ -52,3 +52,6 @@ Diskussionen und finden auf dem [FSI Forum WuV](https://fsi.cs.fau.de/forum/151-
 statt. Dies ist eine wichtige Quelle von Ankündigungen sowie Rat und Tat. Wir bemühen uns,
 auf dem Forum präsent zu sein, und schnell auf Fragen zu antworten. Also das Forum
 abonnieren!
+
+<!--  LocalWords:  mkohlhase Logik-lastig Kamareddine Ginev MitM-based Interection
+ -->
-- 
GitLab