# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1458906390 0
# Node ID 3f6d96fa59013c0e911528643db4906f04f8518b
# Parent  cf44e95e28f2a3de8828f5a012f6143b1c60f939
updated

diff -r cf44e95e28f2 -r 3f6d96fa5901 publications.html
--- a/publications.html	Mon Mar 21 13:28:15 2016 +0000
+++ b/publications.html	Fri Mar 25 11:46:30 2016 +0000
@@ -88,15 +88,8 @@
       (with Zhang and Wu) Journal version. Submitted.
       [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/pip.pdf">pdf</A>]
 
-<p><B>How to Prove False using the Variable Convention.</B> 
-     Appears as a poster at TTVSI, 1 page. 
-     [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/mike-poster-abstract-08.pdf">pdf</A>]
-     [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/mike-poster-08.pdf">poster</A>]
-
-<p><B>Strong Induction Principles in the Locally Nameless 
-      Representation of Binders (Preliminary Notes).</B> (with Pollack) A shorter version 
-      of this paper was accepted at WMM'07. 
-      [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/ln.pdf">pdf</A>]
+<p><B>POSIX Lexing with Derivatives of Regular Expressions</B>
+      (with Ausaf and Dyckhoff) Submitted.
 </TD>
 </TR>
 
@@ -282,6 +275,11 @@
 
       (This paper corrects some lemmas in my PhD-thesis. The errors were found by formalising
        the proof in Nominal Isabelle.)		  
+
+<p><B>How to Prove False using the Variable Convention.</B> 
+     Appeared as a poster at TTVSI (Mike fest), 1 page. 
+     [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/mike-poster-abstract-08.pdf">pdf</A>]
+     [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/mike-poster-08.pdf">poster</A>]
 </TD>
 </TR>
 
@@ -303,6 +301,11 @@
       [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/nom-tech.ps">ps</A>]  
       [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/nom-tech.pdf">pdf</A>]
 
+<p><B>Strong Induction Principles in the Locally Nameless 
+      Representation of Binders (Preliminary Notes).</B> (with Pollack) A shorter version 
+      of this paper was accepted at WMM'07. 
+      [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/ln.pdf">pdf</A>]
+  
 <p><B>Formalising in Nominal Isabelle Crary's Completeness Proof for Equivalence Checking.</B> 
       (with Narboux) In Proceedings of the International Workshop on Logical Frameworks and 
       Meta-Languages: Theory and Practice (LFMTP 2007). Electronic Notes in
@@ -506,7 +509,7 @@
 
 </TABLE>
 <P>
-<!-- hhmts start --> Last modified: Fri Jun 12 21:56:33 BST 2015 <!-- hhmts end -->
+<!-- hhmts start --> Last modified: Fri Mar 25 11:45:40 GMT 2016 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
  
 </BODY>