# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1360214341 0
# Node ID 7c9dbacc6c7c8d2c1dd0c979023b741279f08c24
# Parent  1834acc6fd76e8c1cd34028b6162ecfd41037a06
updated paper

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