(* data ultima modifica 15/11/2007 *)
(* ********************************************************************** *)
-set "baseuri" "cic:/matita/freescale/translation/".
-
-(*include "/media/VIRTUOSO/freescale/table_HC05.ma".*)
include "freescale/table_HC05.ma".
-(*include "/media/VIRTUOSO/freescale/table_HC08.ma".*)
include "freescale/table_HC08.ma".
-(*include "/media/VIRTUOSO/freescale/table_HCS08.ma".*)
include "freescale/table_HCS08.ma".
-(*include "/media/VIRTUOSO/freescale/table_RS08.ma".*)
include "freescale/table_RS08.ma".
(* ***************************** *)