(* data ultima modifica 15/11/2007 *)
(* ********************************************************************** *)
-set "baseuri" "cic:/matita/freescale/byte8".
-
-(*include "/media/VIRTUOSO/freescale/exadecim.ma".*)
include "freescale/exadecim.ma".
(* ******************** *)