more auxiliary machines

[helm.git] / matita / matita / lib / turing / multi_to_mono / exec_moves.ma

diff --git a/matita/matita/lib/turing/multi_to_mono/exec_moves.ma b/matita/matita/lib/turing/multi_to_mono/exec_moves.ma
index 9f6cb718b9e7db3b8f71763a3f0e97153599b554..ac8cd7ecfc48ba6e47d92c74db28933a8e2546d6 100644 (file)
--- a/matita/matita/lib/turing/multi_to_mono/exec_moves.ma
+++ b/matita/matita/lib/turing/multi_to_mono/exec_moves.ma
@@ -119,16 +119,3 @@ lemma sem_exec_moves: ∀Q,sig,n,i. i ≤ n →
   ]
 qed.
   
-
-
-
-
-
-
-
-
-
-
-
-
-