X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Flib%2Fturing%2Fmulti_to_mono%2Fexec_moves.ma;h=ac8cd7ecfc48ba6e47d92c74db28933a8e2546d6;hb=aad5588b82d0f2991c336f7ac2f3fadd76768eeb;hp=9f6cb718b9e7db3b8f71763a3f0e97153599b554;hpb=aa900a8d853f1040716bb050e38406463de08271;p=helm.git

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 9f6cb718b..ac8cd7ecf 100644
--- 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.
   
-
-
-
-
-
-
-
-
-
-
-
-
-