diff -r 45c5095d3774 -r 711958b67779 index.html --- a/index.html Tue Jul 30 11:09:46 2019 +0100 +++ b/index.html Tue Jul 30 11:18:37 2019 +0100 @@ -219,7 +219,7 @@ Prof. Helmut Schwichtenberg. Since 2006 this work is supported by an Emmy-Noether -fellowship. +fellowship. There is a webpage and a mailing list about Nominal Isabelle. It also includes a list of projects that use Nominal Isabelle.