Tests enabled again.

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

diff --git a/helm/software/matita/library/freescale/byte8.ma b/helm/software/matita/library/freescale/byte8.ma
index 9c39bdb142054b5f40c12d72a9a9a5fb8de7c808..fd412e59e70d5e5347de8f1c9e7e5b35fc718e74 100644 (file)
--- 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".
 
 (* ******************** *)