# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1366268926 -3600
# Node ID 456ba8991c235b851d9cb4be032cead117806eea
# Parent  80bea3bd11ce2eee6b342a6f464349ac2064fc68
tuned

diff -r 80bea3bd11ce -r 456ba8991c23 publications.html
--- a/publications.html	Thu Apr 18 07:59:23 2013 +0100
+++ b/publications.html	Thu Apr 18 08:08:46 2013 +0100
@@ -121,7 +121,7 @@
       (with Zhang and Wu) In Proceedings of the 3rd Conference on Interactive
       Theorem Proving (ITP 2012). In Volume 7406 of Lecture Notes in 
       Computer Science. Pages 217-232.
-      &copy <A HREF="http://link.springer.de/link/service/series/0558/tocs/t7406.htm">Springer Verlag</A>
+      &copy <A HREF="http://link.springer.com/chapter/10.1007%2F978-3-642-32347-8_15">Springer Verlag</A>
       [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/itp-12.pdf">pdf</A>]<BR><BR>
 
       (In the published version is a bogus sentence after the definition