X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbasic_2%2Freduction%2Fcnx_lift.ma;h=91ea0091bc35784a63fd94dc7618e74b53d64714;hb=598a5c56535a8339f6533227ab580aff64e2d41c;hp=7f3bedbd012d0436764c6d549d8de9b324d95d9f;hpb=8676e97d61b676fac6b740f6e10503672e992c00;p=helm.git

diff --git a/matita/matita/contribs/lambdadelta/basic_2/reduction/cnx_lift.ma b/matita/matita/contribs/lambdadelta/basic_2/reduction/cnx_lift.ma
index 7f3bedbd0..91ea0091b 100644
--- a/matita/matita/contribs/lambdadelta/basic_2/reduction/cnx_lift.ma
+++ b/matita/matita/contribs/lambdadelta/basic_2/reduction/cnx_lift.ma
@@ -15,7 +15,7 @@
 include "basic_2/reduction/cpx_lift.ma".
 include "basic_2/reduction/cnx.ma".
 
-(* CONTEXT-SENSITIVE EXTENDED NORMAL TERMS **********************************)
+(* NORMAL TERMS FOR CONTEXT-SENSITIVE EXTENDED REDUCTION ********************)
 
 (* Relocation properties ****************************************************)