
diff -r 1834acc6fd76 -r 7c9dbacc6c7c Paper/Paper.thy
--- a/Paper/Paper.thy	Thu Feb 07 05:12:55 2013 +0000
+++ b/Paper/Paper.thy	Thu Feb 07 05:19:01 2013 +0000
@@ -1405,7 +1405,7 @@
   \begin{quote}\it
   ``If the function that is to be computed assigns no value to the arguments that 
   are represented initially on the tape, then the machine either will never halt, 
-  or will halt in some nonstandard configuration\ldots''
+  \colorbox{mygrey}{or} will halt in some nonstandard configuration\ldots''
   \end{quote}
   
   \noindent




