X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fcontribs%2Fassembly%2Ffreescale%2Fmedium_tests.ma;h=75545ac0a55eaceeb2f1b535fa768db4f9f2ccac;hb=34e2c8f59dd7924e15a7746644182d12ad09fed3;hp=90762c5fb3e45634921cd99ab44fed8814279523;hpb=661ffd4d7c77fce52fb2f2d96f1737be424af3f1;p=helm.git

diff --git a/helm/software/matita/contribs/assembly/freescale/medium_tests.ma b/helm/software/matita/contribs/assembly/freescale/medium_tests.ma
index 90762c5fb..75545ac0a 100644
--- a/helm/software/matita/contribs/assembly/freescale/medium_tests.ma
+++ b/helm/software/matita/contribs/assembly/freescale/medium_tests.ma
@@ -24,7 +24,8 @@
 (*                    data ultima modifica 15/11/2007                     *)
 (* ********************************************************************** *)
 
-include "freescale/medium_tests_lemmas.ma".
+(* include "freescale/medium_tests_tools.ma" *)
+include "freescale/medium_tests_tools.ma".
  
 (* ************************ *)
 (* HCS08GB60 String Reverse *)