# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1360059176 0
# Node ID d8f04ed7489ea26676d10be24c44d2dcf03358f5
# Parent  db518aba152a31adf08211e604d9685f08ddcd78
updated

diff -r db518aba152a -r d8f04ed7489e Paper/Paper.thy
--- a/Paper/Paper.thy	Tue Feb 05 10:11:38 2013 +0000
+++ b/Paper/Paper.thy	Tue Feb 05 10:12:56 2013 +0000
@@ -1180,7 +1180,7 @@
   Turing machine programs. Registers and their content are represented by
   standard tapes. Because of the jumps in abacus programs, it
   seems difficult to build a Turing machine programs out of components 
-  using our @{text "\<oplus>"}-operation.
+  using our @{text "\<oplus>"}-operation shown in the previous section.
   To overcome this difficulty, we calculate a \emph{layout} as follows
 
   \begin{center}