A) New version.

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

diff --git a/helm/software/matita/library/freescale/micro_tests.ma b/helm/software/matita/library/freescale/micro_tests.ma
index a9c4797cb97fe25389ba4912d4ec4e612eac0684..b253b35181a969434e49913f5be243f691620556 100644 (file)
--- a/helm/software/matita/library/freescale/micro_tests.ma
+++ b/helm/software/matita/library/freescale/micro_tests.ma
@@ -24,9 +24,6 @@
 (*                    data ultima modifica 15/11/2007                     *)
 (* ********************************************************************** *)
 
-set "baseuri" "cic:/matita/freescale/micro_tests/".
-
-(*include "/media/VIRTUOSO/freescale/multivm.ma".*)
 include "freescale/multivm.ma".
 
 (* ****************************************** *)
@@ -610,7 +607,7 @@ let m ≝ RS08 in source_to_byte8 m (
 (* [0x3814] goto l1      3clk *) (compile m ? BRA (maIMM1 〈xE,xE〉) I)
 (* [0x3816] (l2) si puo' quindi enunciare che
                  - il caso base X * 0 richiede 12 cicli
-                 - bisogna aggiungere Y * 26 cicli, Y>0\r
+                 - bisogna aggiungere Y * 26 cicli, Y>0
                  - bisogna aggiungere ZH * 5 cicli, X * Y > 0xFF *)
 ).