From 54d7a34d065c533c3367ebed312117a80ceccd47 Mon Sep 17 00:00:00 2001
From: Florian Rabe <florian.rabe@gmail.com>
Date: Thu, 17 Oct 2024 12:16:36 +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 c90c9b3..8b8844c 100644
--- a/courses/swuv.md
+++ b/courses/swuv.md
@@ -48,7 +48,7 @@ In WS24/25 we will not have free topic selection as in the semesters before, but
 talks based on three handbooks (listed from easy to harder): 
 
 - [Fensel: Handbook on Knowledge Graphs](https://link.springer.com/book/10.1007/978-3-031-45256-7) (accessible from the FAU network)
-- [Harrison: Handbook of practical Logic](https://kwarc.info/teaching/sWuV/Harrison_handbook-of-practical-logic.pdf)
+- [Harrison: Handbook of practical Logic](https://kwarc.info/teaching/sWuV/harrison_handbook-of-practical-logic.pdf)
 - [Sorensen/Urzyczyn: Lectures on the Curry-Howard Isomorphism](https://kwarc.info/teaching/sWuV/sorensen-urzyczyn_lectures-on-the-curry-howard-isomorphism.pdf)
 
 Students can choose consecutive sections/chapters of about 15-20 pages and report on the
-- 
GitLab