diff -r d765ecc5b2df -r a430e494cb19 Nominal/ijcar-08.html
--- a/Nominal/ijcar-08.html	Wed Mar 30 17:07:49 2016 +0100
+++ b/Nominal/ijcar-08.html	Wed Mar 30 17:11:48 2016 +0100
@@ -12,7 +12,7 @@
 
 <META 
      HTTP-EQUIV="Refresh"
-     CONTENT="2; URL=http://http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/activities/nominal-ijcar08/">
+     CONTENT="2; URL=http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/activities/nominal-ijcar08/">
 
 </body>
 </html>