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