--- a/publications.html Sun Dec 25 18:04:55 2011 +0000
+++ b/publications.html Wed Dec 28 20:47:40 2011 +0000
@@ -89,7 +89,8 @@
[<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/rexp.pdf">pdf</A>]
<p><B>General Bindings and Alpha-Equivalence in Nominal Isabelle.</B>
- (with Kaliszyk) Journal version. Submitted.
+ (with Kaliszyk) Accepted for publication in the Journal on Logical
+ Methods in Computer Science.
[<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/lmcs.pdf">pdf</A>]
<p><B>How to Prove False using the Variable Convention.</B>