Mercurial Mercurial > hg > regexp / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Paper/Paper.thy
changeset 143 1cc87efb3b53
parent 142 f1fea2c2713f
child 145 099e20f25b25 
--- 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
regexp