X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fground_2%2Fsteps%2Frtc_isrt.ma;h=42a0ff52e2c221f241daf866d88220b67448ccd5;hp=1b6c7d3686535703ea34d42424e335765abffeb9;hb=25c634037771dff0138e5e8e3d4378183ff49b86;hpb=bd53c4e895203eb049e75434f638f26b5a161a2b

diff --git a/matita/matita/contribs/lambdadelta/ground_2/steps/rtc_isrt.ma b/matita/matita/contribs/lambdadelta/ground_2/steps/rtc_isrt.ma
index 1b6c7d368..42a0ff52e 100644
--- a/matita/matita/contribs/lambdadelta/ground_2/steps/rtc_isrt.ma
+++ b/matita/matita/contribs/lambdadelta/ground_2/steps/rtc_isrt.ma
@@ -25,10 +25,10 @@ interpretation "test for costrained rt-transition counter (rtc)"
 
 (* Basic properties *********************************************************)
 
-lemma isr_00: ððâª0,ððâ«.
+lemma isrt_00: ððâª0,ððâ«.
 /2 width=3 by ex1_2_intro/ qed.
 
-lemma isr_10: ððâª0,ððâ«.
+lemma isrt_10: ððâª0,ððâ«.
 /2 width=3 by ex1_2_intro/ qed.
 
 lemma isrt_01: ððâª1,ððâ«.