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=204222914dd162af0a54eed1c81e284e1dc46b0a;hp=9f6cb718b9e7db3b8f71763a3f0e97153599b554;hpb=cdf346ea9e5dd3842c67e0f0595e110a07c0094c;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.
   
-
-
-
-
-
-
-
-
-
-
-
-
-