X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Flibrary%2Ffreescale%2Fmicro_tests.ma;h=b253b35181a969434e49913f5be243f691620556;hb=09e3a050664b07c961a92bf16245a7345346f964;hp=a9c4797cb97fe25389ba4912d4ec4e612eac0684;hpb=5806e0aa438ae85f09c93c93ba9f53d9663d7420;p=helm.git

diff --git a/helm/software/matita/library/freescale/micro_tests.ma b/helm/software/matita/library/freescale/micro_tests.ma
index a9c4797cb..b253b3518 100644
--- 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
+                 - bisogna aggiungere Y * 26 cicli, Y>0
                  - bisogna aggiungere ZH * 5 cicli, X * Y > 0xFF *)
 ).