--- a/Paper/Paper.thy	Tue Feb 19 04:31:18 2013 +0000
+++ b/Paper/Paper.thy	Tue Feb 19 04:56:33 2013 +0000
@@ -163,7 +163,9 @@
   and   "layout_of ((Goto l)#is) = 1#(layout_of is)"
 by(auto simp add: layout_of.simps length_of.simps)
 
-
+fun clear :: "nat \<Rightarrow> nat \<Rightarrow> abc_prog"
+  where
+  "clear n e = [Dec n e, Goto 0]"
 (*>*)
 
 section {* Introduction *}

--- a/ROOT	Tue Feb 19 04:31:18 2013 +0000
+++ b/ROOT	Tue Feb 19 04:56:33 2013 +0000
@@ -1,4 +1,4 @@
-session utm = HOL +
+session UTM = HOL +
   options [document = false]
   theories
     "thys/Turing"

Binary file paper.pdf has changed