--- a/index.html	Tue Jul 30 11:18:37 2019 +0100
+++ b/index.html	Tue Jul 30 11:21:32 2019 +0100
@@ -220,9 +220,8 @@
 Since 2006 this work is supported by an
 <A HREF="http://en.wikipedia.org/wiki/Emmy_Noether">Emmy-Noether</A> 
 <A HREF="https://www.dfg.de/en/research_funding/programmes/individual/emmy_noether/">fellowship</A>.
-There is a <A HREF="https://nms.kcl.ac.uk/christian.urban/Nominal/">webpage</A> and a
-<A HREF="https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/nominal-isabelle">mailing list</A> 
-about Nominal Isabelle. It also includes a list of projects that use Nominal Isabelle.
+There is a <A HREF="https://nms.kcl.ac.uk/christian.urban/Nominal/">webpage</A> about Nominal
+Isabelle. It also includes a list of projects that use Nominal Isabelle.
 Users of Nominal Isabelle had their papers appearing at LICS, POPL, FOSSACS, SOS, TPHOLs, CPP, SEFM,
 the Haskell Symposium and
 in the Journal of Automated Reasoning.