X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fground_2%2Fsteps%2Frtc_ist.ma;h=81c584343d538d1a9e1dc0fc7e6c748e30c516eb;hp=3f6f70dae955840cadc0f8ce51956703cf83656a;hb=25c634037771dff0138e5e8e3d4378183ff49b86;hpb=bd53c4e895203eb049e75434f638f26b5a161a2b

diff --git a/matita/matita/contribs/lambdadelta/ground_2/steps/rtc_ist.ma b/matita/matita/contribs/lambdadelta/ground_2/steps/rtc_ist.ma
index 3f6f70dae..81c584343 100644
--- a/matita/matita/contribs/lambdadelta/ground_2/steps/rtc_ist.ma
+++ b/matita/matita/contribs/lambdadelta/ground_2/steps/rtc_ist.ma
@@ -25,7 +25,7 @@ interpretation "test for t-transition counter (rtc)"
 
 (* Basic properties *********************************************************)
 
-lemma isr_00: ðâª0,ððâ«.
+lemma ist_00: ðâª0,ððâ«.
 // qed.
 
 lemma ist_01: ðâª1,ððâ«.