diff -r 8e2c497d699e -r bcef7669f55a Journal/Paper.thy
--- a/Journal/Paper.thy	Wed Sep 14 13:00:44 2011 +0000
+++ b/Journal/Paper.thy	Wed Sep 14 13:39:03 2011 +0000
@@ -2440,7 +2440,7 @@
   code.  The closure properties in Section~\ref{closure} (except Theorem~\ref{subseqreg}) 
   can be established in
   190 lines of code. The Continuation Lemma and the non-regularity of @{text "a\<^sup>n b\<^sup>n"} 
-  require 80 lines of code.
+  require 70 lines of code.
   The algorithm for solving equational systems, which we
   used in the first direction, is conceptually relatively simple. Still the
   use of sets over which the algorithm operates means it is not as easy to