
diff -r f1fea2c2713f -r 1cc87efb3b53 Paper/Paper.thy
--- a/Paper/Paper.thy	Sat Feb 26 15:44:38 2011 +0000
+++ b/Paper/Paper.thy	Sat Mar 05 11:06:39 2011 +0000
@@ -1317,7 +1317,7 @@
   Owens and Slind \cite{OwensSlind08}.
 
 
-  Our formalisation consists of 790 lines of Isabelle/Isar code for the first
+  Our formalisation consists of 780 lines of Isabelle/Isar code for the first
   direction and 475 for the second, plus around 300 lines of standard material about
   regular languages. While this might be seen as too large to count as a
   concise proof pearl, this should be seen in the context of the work done by




