X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbasic_2%2Frt_transition%2Fcpg_simple.ma;fp=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbasic_2%2Frt_transition%2Fcpg_simple.ma;h=5dcf8ece0ffdff50a57f4da0c31bd06595481478;hb=7e80b8d7a4b2c38729512dee28b3e0ecf9595c2a;hp=53448a7bb229e20279a0a2ace105b554d693fb77;hpb=a145b5df4a86b3d5f8516a9c1cb76a62f6327151;p=helm.git

diff --git a/matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpg_simple.ma b/matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpg_simple.ma
index 53448a7bb..5dcf8ece0 100644
--- a/matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpg_simple.ma
+++ b/matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpg_simple.ma
@@ -15,7 +15,7 @@
 include "basic_2/grammar/term_simple.ma".
 include "basic_2/rt_transition/cpg.ma".
 
-(* CONTEXT-SENSITIVE GENERIC PARALLEL RT-TRANSITION FOR TERMS ***************)
+(* COUNTED CONTEXT-SENSITIVE PARALLEL RT-TRANSITION FOR TERMS ***************)
 
 (* Properties with simple terms *********************************************)