freescale porting, work in progress

[helm.git] / helm / software / matita / contribs / ng_assembly / freescale / multivm.ma

diff --git a/helm/software/matita/contribs/ng_assembly/freescale/multivm.ma b/helm/software/matita/contribs/ng_assembly/freescale/multivm.ma
index 40c8c11c760448946082998212e493f8ca21b3ad..09f49021b50f5142d8d2f2e1c80c5b5f5df63c34 100755 (executable)
--- a/helm/software/matita/contribs/ng_assembly/freescale/multivm.ma
+++ b/helm/software/matita/contribs/ng_assembly/freescale/multivm.ma
@@ -21,7 +21,6 @@
 (* ********************************************************************** *)
 
 include "freescale/load_write.ma".
-include "freescale/nat_lemmas.ma".
 
 (* ************************************************ *)
 (* LOGICHE AUSILIARE CHE ACCOMUNANO PIU' OPERAZIONI *)