A) New version.

[helm.git] / helm / software / matita / library / freescale / exadecim.ma

diff --git a/helm/software/matita/library/freescale/exadecim.ma b/helm/software/matita/library/freescale/exadecim.ma
index f7afbdf6c3cda3590eff2a050c37f5f7e2d3b166..246ab983eef67519ce572b32909c6f352b8b8f0b 100644 (file)
--- 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".
 
 (* ***************************** *)