--- a/Paper/Paper.thy Tue Feb 19 04:56:33 2013 +0000
+++ b/Paper/Paper.thy Tue Feb 19 05:11:33 2013 +0000
@@ -1398,7 +1398,9 @@
Turing machines, an unexpected outcome of our work is that we
identified an inconsistency in their use of a definition. This is
unexpected since \cite{Boolos87} is a classic textbook which has
- undergone several editions (we used the fifth edition). The central
+ undergone several editions (we used the fifth edition; the material
+ containing the inconsistency was introduced in the fourth edition
+ \cite{BoolosFourth}). The central
idea about Turing machines is that when started with standard tapes
they compute a partial arithmetic function. The inconsitency arises
when they define the case when this function should \emph{not} return a