milestone update in ground_2 and basic_2A

[helm.git] / matita / matita / contribs / lambdadelta / basic_2A / equivalence / cpcs.ma

diff --git a/matita/matita/contribs/lambdadelta/basic_2A/equivalence/cpcs.ma b/matita/matita/contribs/lambdadelta/basic_2A/equivalence/cpcs.ma
index ffae53ad73a0425c75da8187f113e32a78af57b8..55bae3317c00245a23c3cf2df84d80e8c03c8dd1 100644 (file)
--- a/matita/matita/contribs/lambdadelta/basic_2A/equivalence/cpcs.ma
+++ b/matita/matita/contribs/lambdadelta/basic_2A/equivalence/cpcs.ma
@@ -18,7 +18,7 @@ include "basic_2A/conversion/cpc.ma".
 (* CONTEXT-SENSITIVE PARALLEL EQUIVALENCE ON TERMS **************************)
 
 definition cpcs: relation4 genv lenv term term ≝
-           λG. LTC … (cpc G).
+           λG. CTC … (cpc G).
 
 interpretation "context-sensitive parallel equivalence (term)"
    'PConvStar G L T1 T2 = (cpcs G L T1 T2).