# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1359044142 -3600
# Node ID 04e5850818c89ebdb9aeddf1f2d4c18813706907
# Parent  04399b4711087b9901d6b09e4317461b7430135c
updated paper

diff -r 04399b471108 -r 04e5850818c8 Paper/Paper.thy
--- a/Paper/Paper.thy	Thu Jan 24 17:14:39 2013 +0100
+++ b/Paper/Paper.thy	Thu Jan 24 17:15:42 2013 +0100
@@ -583,7 +583,7 @@
   \end{tabular}
   \end{center}
 
-  \noindet
+  \noindent
   {\it unfold} The first states that on a tape @{term "(Bk \<up> n,  [Oc, Oc])"}
   halts in tree steps leaving the tape unchanged. In the other states
   that @{term dither} started with tape @{term "(Bk \<up> n,  [Oc, Oc])"} loops.
diff -r 04399b471108 -r 04e5850818c8 paper.pdf
Binary file paper.pdf has changed