--- a/publications.html	Fri Jun 12 21:56:06 2015 +0100
+++ b/publications.html	Fri Jun 12 21:56:41 2015 +0100
@@ -369,14 +369,15 @@
       Intelligence. Tallinn, Estonia. July 2005. Pages 38-53.
     &copy <A HREF="http://link.springer.com/chapter/10.1007%2F11532231_4">Springer Verlag</A>
     [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/nom-cade-05.ps">ps</A>]
-
+    <p>
+    (This paper is superseded by the journal version in 2007.)
+  
 <p><B>Avoiding Equivariance in Alpha-Prolog.</B> (with Cheney) In Proceedings of the 7th
       International Conference on Typed Lambda Calculi and Applications (TLCA 2005). 
       In Volume 3461 of Lecture Notes in Computer Science. Nara, Japan. April 2005. Pages 401-416.
     &copy <A HREF="http://link.springer.com/chapter/10.1007%2F11417170_29">Springer Verlag</A>
     [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/alpha-tlca.ps">ps</A>]
-    <p>
-    (This paper is superseded by the journal version in 2007.)
+    
 </TD>
 </TR>
 
@@ -505,7 +506,7 @@
 
 </TABLE>
 <P>
-<!-- hhmts start --> Last modified: Fri Jun 12 21:55:58 BST 2015 <!-- hhmts end -->
+<!-- hhmts start --> Last modified: Fri Jun 12 21:56:33 BST 2015 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
  
 </BODY>