(* 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 *)