# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1334740714 -3600
# Node ID 76e128119cfc3112aad1aaddc131e617544be203
# Parent  3f52b7ff7688ee6f76f7c461271c784d09e5b3a9
added pdf

diff -r 3f52b7ff7688 -r 76e128119cfc publications.html
--- a/publications.html	Tue Apr 17 16:16:53 2012 +0100
+++ b/publications.html	Wed Apr 18 10:18:34 2012 +0100
@@ -246,8 +246,8 @@
       of Lecture Notes in Artificial Intelligence. Bremen, Germany. 
       July 2007. Pages 35-50.
       &copy <A HREF="http://link.springer.de/link/service/series/0558/tocs/t4603.htm">Springer Verlag</A>
+      [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/cade07.pdf">pdf</A>]
       [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/cade07.ps">ps</A>]
-     
       <BR><BR>This paper supersedes the MERLIN-paper from 2005.
 
 <p><B>Nominal Techniques in Isabelle/HOL.</B> In