From be0352cab78faa4344ce62bcddc96c3d6d26af43 Mon Sep 17 00:00:00 2001
From: Burkhart Wolff <wolff@lri.fr>
Date: Wed, 26 Jan 2022 09:24:20 +0100
Subject: [PATCH] ...

---
 examples/scholarly_paper/2021-ITP-PMTI/paper.thy | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/examples/scholarly_paper/2021-ITP-PMTI/paper.thy b/examples/scholarly_paper/2021-ITP-PMTI/paper.thy
index 4bcce9c..e968bc1 100644
--- a/examples/scholarly_paper/2021-ITP-PMTI/paper.thy
+++ b/examples/scholarly_paper/2021-ITP-PMTI/paper.thy
@@ -383,7 +383,7 @@ text\<open>
 
 \<^item> Search Engines: Wikipedia Formula Search, \<^url>\<open>http://shinh.org/wfs\<close>
 
-
+\<^item> And then: The stuff from Univ Erlangen (Kohlhase et al).
 
 \<close>