X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Flibrary%2Ffreescale%2Fmodel.ma;h=7ab85a5c7a5c8e1866b750e4303847290d4a63cf;hb=84b0d9386906e5bf13bf3d0e6ea736e05ac9e8b8;hp=56cd09a726553c5a85c94b5f6d15ecc1db0a839a;hpb=5806e0aa438ae85f09c93c93ba9f53d9663d7420;p=helm.git

diff --git a/helm/software/matita/library/freescale/model.ma b/helm/software/matita/library/freescale/model.ma
index 56cd09a72..7ab85a5c7 100644
--- a/helm/software/matita/library/freescale/model.ma
+++ b/helm/software/matita/library/freescale/model.ma
@@ -24,9 +24,6 @@
 (*                    data ultima modifica 15/11/2007                     *)
 (* ********************************************************************** *)
 
-set "baseuri" "cic:/matita/freescale/model/".
-
-(*include "/media/VIRTUOSO/freescale/status.ma".*)
 include "freescale/status.ma".
 
 (* *********************************** *)