diff -r 7dc064e64ab2 -r c3832c4963c4 Paper/Paper.thy
--- a/Paper/Paper.thy	Wed Feb 06 02:42:52 2013 +0000
+++ b/Paper/Paper.thy	Wed Feb 06 03:37:26 2013 +0000
@@ -1322,7 +1322,7 @@
 section {* Conclusion *}
 
 text {*
-  We have formalised the main results from six chapters in the
+  We have formalised the main computability results from Chapters 3 to 8 in the
   textbook by Boolos et al \cite{Boolos87}.  Following in the
   footsteps of another paper \cite{Nipkow98} formalising the results
   from a semantics textbook, we could have titled our paper ``Boolos et al are