# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1378215011 -3600
# Node ID b6c86027212c5b3dcd9b26173a6853c0ae372af8
# Parent  2e80c480ec7e7eb35374a400f661b45a4bfa7639
typo

diff -r 2e80c480ec7e -r b6c86027212c publications.html
--- a/publications.html	Tue Sep 03 14:11:17 2013 +0100
+++ b/publications.html	Tue Sep 03 14:30:11 2013 +0100
@@ -361,7 +361,7 @@
 <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.de/link/service/series/0558/tocs/t3461.htm">Springer Verlag</A>
+    &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>]
 </TD>
 </TR>
@@ -495,7 +495,7 @@
 
 </TABLE>
 <P>
-<!-- hhmts start --> Last modified: Tue Sep  3 14:11:12 BST 2013 <!-- hhmts end -->
+<!-- hhmts start --> Last modified: Tue Sep  3 14:30:04 BST 2013 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
  
 </BODY>