X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=matita%2Fmatita%2Flib%2Fturing%2Fbasic_machines.ma;h=82d4758c250c31eeac7545f6dd89179c2996d52c;hb=d64a1790db147a15917f3c999dc5b35211dc5b56;hp=9790cb43c50442045da2417a79c3a7aba5daf973;hpb=5535cd4e08fd8d1e7e6e067eac1bb6c1bf8fcbbf;p=helm.git

diff --git a/matita/matita/lib/turing/basic_machines.ma b/matita/matita/lib/turing/basic_machines.ma
index 9790cb43c..82d4758c2 100644
--- a/matita/matita/lib/turing/basic_machines.ma
+++ b/matita/matita/lib/turing/basic_machines.ma
@@ -302,4 +302,4 @@ lemma sem_swap_l : ∀alpha,foo.
       [#b #rs #H destruct | #a #b #ls #rs #H destruct normalize //
     ]
   ]
-qed.
+qed.
\ No newline at end of file