X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Flibrary%2Ffreescale%2Fexadecim.ma;h=246ab983eef67519ce572b32909c6f352b8b8f0b;hb=84b0d9386906e5bf13bf3d0e6ea736e05ac9e8b8;hp=f7afbdf6c3cda3590eff2a050c37f5f7e2d3b166;hpb=19b6e9b68fa0403461aff44e77a08e0e4eb84840;p=helm.git

diff --git a/helm/software/matita/library/freescale/exadecim.ma b/helm/software/matita/library/freescale/exadecim.ma
index f7afbdf6c..246ab983e 100644
--- a/helm/software/matita/library/freescale/exadecim.ma
+++ b/helm/software/matita/library/freescale/exadecim.ma
@@ -24,9 +24,6 @@
 (*                    data ultima modifica 15/11/2007                     *)
 (* ********************************************************************** *)
 
-set "baseuri" "cic:/matita/freescale/exadecim/".
-
-(*include "/media/VIRTUOSO/freescale/extra.ma".*)
 include "freescale/extra.ma".
 
 (* ***************************** *)