X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Flibrary%2Ffreescale%2Ftranslation.ma;fp=helm%2Fsoftware%2Fmatita%2Flibrary%2Ffreescale%2Ftranslation.ma;h=af54b87dd9f3fc881840c26bc900d917cfafa5ab;hb=09e3a050664b07c961a92bf16245a7345346f964;hp=dae2b5fd511a6b11ed22e1fe060f9fc417c00c41;hpb=e44ebf8a8c659b408fa765d30faf1b8c8ff2adb0;p=helm.git

diff --git a/helm/software/matita/library/freescale/translation.ma b/helm/software/matita/library/freescale/translation.ma
index dae2b5fd5..af54b87dd 100644
--- a/helm/software/matita/library/freescale/translation.ma
+++ b/helm/software/matita/library/freescale/translation.ma
@@ -24,15 +24,9 @@
 (*                    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".
 
 (* ***************************** *)