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

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