--- a/Nominal/download-old.html Wed Mar 30 17:07:49 2016 +0100
+++ b/Nominal/download-old.html Wed Mar 30 17:11:48 2016 +0100
@@ -13,12 +13,12 @@
follow the instructions in INSTALL.
<br><br>
-<A HREF="http://http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/Isabelle_07-Jan-2008.tar.gz">Isabelle Snapshot from 7. January 2008 (includes version 0.14 of the nominal datatype package)</A>
+<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/Isabelle_07-Jan-2008.tar.gz">Isabelle Snapshot from 7. January 2008 (includes version 0.14 of the nominal datatype package)</A>
<br><br>
-<A HREF="http://http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/manual/INSTALL">INSTALL</A>
+<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/manual/INSTALL">INSTALL</A>
<br><br>
<img src="graphics/attention.png" alt="The Nominal Datatype" align="left">