X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Flibrary%2Ffreescale%2Fword16.ma;h=98d7703b636db370c1b85225f423986b4c3379d2;hb=7845d9d0221d94418beecf3d7c3aed3efb2af7fc;hp=b1448b98521ca421affc912fce4620aed224b1d1;hpb=19b6e9b68fa0403461aff44e77a08e0e4eb84840;p=helm.git

diff --git a/helm/software/matita/library/freescale/word16.ma b/helm/software/matita/library/freescale/word16.ma
index b1448b985..98d7703b6 100644
--- a/helm/software/matita/library/freescale/word16.ma
+++ b/helm/software/matita/library/freescale/word16.ma
@@ -24,9 +24,6 @@
 (*                    data ultima modifica 15/11/2007                     *)
 (* ********************************************************************** *)
 
-set "baseuri" "cic:/matita/freescale/word16".
-
-(*include "/media/VIRTUOSO/freescale/byte8.ma".*)
 include "freescale/byte8.ma".
 
 (* ********************** *)