--- a/publications.html	Thu Apr 07 23:24:27 2016 +0100
+++ b/publications.html	Sun Apr 10 20:46:30 2016 +0100
@@ -202,7 +202,7 @@
 <p><B>Mechanizing the Metatheory of LF.</B> (with Cheney and Berghofer) 
       In <A HREF="http://doi.acm.org/10.1145/1877714.1877721">
       ACM Transactions on Computational Logic</A>, Vol 12(2), Pages 15:1 - 15:42, 2011. 
-      [<A HREF="http://http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/LF/">technical report</A>] 
+      [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/LF/">technical report</A>] 
 
 <p><B>Nominal Unification Revisited.</B> 
       (invited paper) In Proceedings of the 24th Workshop on Unification (UNIF 2010).
@@ -509,7 +509,7 @@
 
 </TABLE>
 <P>
-<!-- hhmts start --> Last modified: Thu Apr  7 23:12:27 BST 2016 <!-- hhmts end -->
+<!-- hhmts start --> Last modified: Sun Apr 10 20:45:14 BST 2016 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
  
 </BODY>