# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1319282559 -3600
# Node ID 3893148e59a6eebc312a09a0790a8e322bca8605
# Parent  680070975206021bb0d875e99116d9990a75b6b8
tuned

diff -r 680070975206 -r 3893148e59a6 publications.html
--- a/publications.html	Sat Oct 22 12:11:38 2011 +0100
+++ b/publications.html	Sat Oct 22 12:22:39 2011 +0100
@@ -83,8 +83,8 @@
       [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Publications/ln.pdf">pdf</A>]
 </TD>
 </TR>
+
 <TR>
-
 <TD BGCOLOR="FFFFFF" WIDTH="75%">
 <H3>2011</H3>
 <p><B>General Bindings and Alpha-Equivalence in Nominal Isabelle.</B> 
@@ -110,6 +110,7 @@
 </TD>
 </TR>
 
+<TR>
 <TD BGCOLOR="FFFFFF" WIDTH="75%">
 <H3>2010</H3>
 <p><B>Proof Pearl: A New Foundation for Nominal Isabelle.</B> (with Huffman) 
@@ -131,6 +132,7 @@
 </TD>
 </TR>
 
+<TR>
 <TD BGCOLOR="FFFFFF" WIDTH="75%">
 <H3>2009</H3>
 <p><B>Nominal Formalisations of Typical SOS Proofs.</B> 
@@ -419,7 +421,7 @@
 </TABLE>
 <P><!-- Created: Tue Mar  4 00:23:25 GMT 1997 -->
 <!-- hhmts start -->
-Last modified: Tue Sep 20 16:01:02 CEST 2011
+Last modified: Sat Oct 22 12:22:32 BST 2011
 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
 </BODY>