- notational change for cpg and cpx

[helm.git] / matita / matita / contribs / lambdadelta / basic_2 / rt_transition / cpx_llpx_sn.ma

diff --git a/matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpx_llpx_sn.ma b/matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpx_llpx_sn.ma
index 6be896ddc66703b773a42b1aff6fe0bc59c401dd..ec6255dfc009ee752a19d7cea3b81715203b5184 100644 (file)
--- a/matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpx_llpx_sn.ma
+++ b/matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpx_llpx_sn.ma
@@ -15,7 +15,7 @@
 include "basic_2/multiple/llpx_sn_drop.ma".
 include "basic_2/reduction/cpx.ma".
 
-(* CONTEXT-SENSITIVE EXTENDED PARALLEL REDUCTION FOR TERMS ******************)
+(* UNCOUNTED CONTEXT-SENSITIVE PARALLEL RT-TRANSITION FOR TERMS *************)
 
 (* Properties on lazy sn pointwise extensions *******************************)