- setters for data structures now support "commuting conversion"-like

[helm.git] / helm / software / matita / contribs / assembly / freescale / medium_tests.ma

diff --git a/helm/software/matita/contribs/assembly/freescale/medium_tests.ma b/helm/software/matita/contribs/assembly/freescale/medium_tests.ma
index 90762c5fb3e45634921cd99ab44fed8814279523..75545ac0a55eaceeb2f1b535fa768db4f9f2ccac 100644 (file)
--- 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 *)