diff -r ae982b0b2ffd -r 45c5095d3774 index.html
--- a/index.html Tue Jul 30 11:03:57 2019 +0100
+++ b/index.html Tue Jul 30 11:09:46 2019 +0100
@@ -202,7 +202,7 @@
Nominal Isabelle
I currently work on Nominal
Isabelle 2. This is joint work with
-Dr Stefan Berghofer,
+Dr Stefan Berghofer,
Dr Markus Wenzel,
Dr Cezary Kaliszyk,
Dr Tjark Weber and