--- a/publications.html	Tue Sep 02 16:37:14 2014 +0100
+++ b/publications.html	Tue Sep 02 16:38:02 2014 +0100
@@ -102,7 +102,7 @@
 
 <TR>
 <TD BGCOLOR="FFFFFF" WIDTH="75%">
-<H3>2013</H3>
+<H3>2014</H3>
 <p><B>A Formalisation of the Myhill-Nerode Theorem based on Regular Expressions.</B> 
       (with Wu and Zhang) In
       Journal of Automatic Reasoning, 2014, Vol. 52(4), 451-480.
@@ -503,7 +503,7 @@
 
 </TABLE>
 <P>
-<!-- hhmts start --> Last modified: Tue Sep  2 16:36:55 BST 2014 <!-- hhmts end -->
+<!-- hhmts start --> Last modified: Tue Sep  2 16:37:58 BST 2014 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
  
 </BODY>