diff -r b3b67c7cbb8b -r ef7bedc969d3 index.html
--- a/index.html	Sat Jun 15 07:50:06 2013 -0400
+++ b/index.html	Sat Jun 15 08:07:41 2013 -0400
@@ -164,7 +164,7 @@
 <TD BGCOLOR="#FFFFFF" WIDTH="75%">
 <B>Nominal Isabelle</B> 
 I currently work on Nominal 
-<A HREF="http://isabelle.in.tum.de">Isabelle</A>. This is joint work with 
+<A HREF="http://isabelle.in.tum.de">Isabelle</A> 2. This is joint work with 
 <A HREF="http://wwwbroy.in.tum.de/~berghofe/">Dr Stefan Berghofer</A>,
 <A HREF="https://www.lri.fr/~wenzel/">Dr Markus Wenzel</A>,
 <A HREF="http://cl-informatik.uibk.ac.at/users/cek/">Dr Cezary Kaliszyk</A>,