X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Flibrary%2Ffreescale%2Fmemory_struct.ma;h=88323ac2d96891a3fefa54fa5399ac28e5ab4612;hb=1ba7566bacd8d29e772646b3c86c7d5c944e9a6e;hp=5c80b8803508a465a2fef8272d20dc8bc6bd53f1;hpb=5806e0aa438ae85f09c93c93ba9f53d9663d7420;p=helm.git

diff --git a/helm/software/matita/library/freescale/memory_struct.ma b/helm/software/matita/library/freescale/memory_struct.ma
index 5c80b8803..88323ac2d 100644
--- a/helm/software/matita/library/freescale/memory_struct.ma
+++ b/helm/software/matita/library/freescale/memory_struct.ma
@@ -24,9 +24,6 @@
 (*                    data ultima modifica 15/11/2007                     *)
 (* ********************************************************************** *)
 
-set "baseuri" "cic:/matita/freescale/memory_struct/".
-
-(*include "/media/VIRTUOSO/freescale/translation.ma".*)
 include "freescale/translation.ma".
 
 (* **************************** *)