update in ground_2, static_2, basic_2

[helm.git] / matita / matita / contribs / lambdadelta / ground_2 / steps / rtc_ist.ma

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 3f6f70dae955840cadc0f8ce51956703cf83656a..81c584343d538d1a9e1dc0fc7e6c748e30c516eb 100644 (file)
--- 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,𝟘𝟙❫.