# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1360198219 0
# Node ID c56f04b6a2f99d6642b855a3ad4ff769f4d82672
# Parent  21c7139ffa07301eb989fdcfa3911ce7945dc55f
updated paper

diff -r 21c7139ffa07 -r c56f04b6a2f9 Paper/Paper.thy
--- a/Paper/Paper.thy	Thu Feb 07 00:48:09 2013 +0000
+++ b/Paper/Paper.thy	Thu Feb 07 00:50:19 2013 +0000
@@ -1178,7 +1178,7 @@
   \noindent
   Running such a program means we start with the first instruction
   then execute one instructions after the other, unless there is a jump.  For
-  example the second instruction @{term "Goto 0"} means
+  example the second instruction @{term "Goto 0"} above means
   we jump back to the first instruction thereby closing the loop.  Like with our
   Turing machines, we fetch instructions from an abacus program such
   that a jump out of ``range'' behaves like a @{term "Nop"}-action. In