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 @@ [pdf] +
General Bindings and Alpha-Equivalence in Nominal Isabelle. @@ -110,6 +110,7 @@
Proof Pearl: A New Foundation for Nominal Isabelle. (with Huffman) @@ -131,6 +132,7 @@
Nominal Formalisations of Typical SOS Proofs. @@ -419,7 +421,7 @@
-Last modified: Tue Sep 20 16:01:02 CEST 2011 +Last modified: Sat Oct 22 12:22:32 BST 2011 [Validate this page.]