X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fground%2Fsteps%2Frtc_isrt.ma;h=66717209694982a291a1b5888c87fccf98667f99;hp=7f9f2f74ad1d7e891662dcf7d0dd2abfeb9cacd1;hb=baa54e5db0fb93c4242dd1b67a5018ca63206cf6;hpb=6604a232815858a6c75dd25ac45abd68438077ff

diff --git a/matita/matita/contribs/lambdadelta/ground/steps/rtc_isrt.ma b/matita/matita/contribs/lambdadelta/ground/steps/rtc_isrt.ma
index 7f9f2f74a..667172096 100644
--- a/matita/matita/contribs/lambdadelta/ground/steps/rtc_isrt.ma
+++ b/matita/matita/contribs/lambdadelta/ground/steps/rtc_isrt.ma
@@ -20,7 +20,7 @@ include "ground/steps/rtc.ma".
 definition isrt: relation2 nat rtc ≝ λts,c.
                  ∃∃ri,rs. 〈ri,rs,0,ts〉 = c.
 
-interpretation "test for costrained rt-transition counter (rtc)"
+interpretation "test for constrained rt-transition counter (rtc)"
    'IsRedType ts c = (isrt ts c).
 
 (* Basic properties *********************************************************)