--- a/publications.html	Sun Apr 10 20:46:30 2016 +0100
+++ b/publications.html	Sun Apr 10 20:50:57 2016 +0100
@@ -57,7 +57,7 @@
 <table border="0">
 <tr>
 <td>
-<A HREF="http://http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/">
+<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/">
 <IMG SRC="nominal-logo.gif" ALT="" style="border-width: 0px;" align="left"></A>
 </td>
 </tr>
@@ -219,7 +219,7 @@
      (with Narboux) In Proceedings of the 3rd Workshop on Logical and Semantic 
      Frameworks with Applications (LFSA'08). Electronic
      Notes in Theoretical Computer Science, 247, Pages 139-155, 2009.  
-     [<A HREF="http://http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/manual/SOS.pdf">pdf</A>]. 
+     [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/manual/SOS.pdf">pdf</A>]. 
 
 <p><B>Proceedings of Theorem Proving in Higher Order Logics (TPHOLs'09).</B> 
      (with Berghofer, Nipkow and Wenzel) Volume 5674 of Lecture Notes in
@@ -241,7 +241,7 @@
       23rd IEEE Symposium on Logic in Computer Science (LICS 2008), IEEE Computer Society,
       June 2008. Pages 45-56.
       [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/lics-08.pdf">pdf</A>] More
-      information is <A HREF="http://http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/LF/index.html">elsewhere</A>.
+      information is <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/LF/index.html">elsewhere</A>.
 
 <p><B>Nominal Inversion Principles.</B> (with Berghofer) 
       In Proceedings of 21st International Conference on Theorem Proving in
@@ -509,7 +509,7 @@
 
 </TABLE>
 <P>
-<!-- hhmts start --> Last modified: Sun Apr 10 20:45:14 BST 2016 <!-- hhmts end -->
+<!-- hhmts start --> Last modified: Sun Apr 10 20:49:18 BST 2016 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
  
 </BODY>