diff -r 793f6d12cf2d -r 6600eb5b11cb Nominal/main.html
--- a/Nominal/main.html	Wed Mar 30 20:39:55 2016 +0100
+++ b/Nominal/main.html	Thu Mar 31 13:02:30 2016 +0100
@@ -49,7 +49,7 @@
 <IMG SRC="new.gif" ALT="" style="" align="left">
 <I>We are working on a major overhaul of Nominal Isabelle. The 
 latest bundles of Nominal2 are 
-<A HREF="http://inf.kcl.ac.uk/staff/urbanc/Nominal/download.html">here</A>. 
+<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/download.html">here</A>. 
 </I></P>