X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Flibrary%2Ffreescale%2Faux_bases.ma;h=50314e9b179e5699a22944a78195986c4b3a050d;hb=09e3a050664b07c961a92bf16245a7345346f964;hp=c2aa8aa9f3da3c5a49d1fdc76bb87febf49960e6;hpb=5806e0aa438ae85f09c93c93ba9f53d9663d7420;p=helm.git

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