some notation renamed and fixed

[helm.git] / matita / matita / contribs / lambdadelta / basic_2 / computation / cpre_cpre.ma

diff --git a/matita/matita/contribs/lambdadelta/basic_2/computation/cpre_cpre.ma b/matita/matita/contribs/lambdadelta/basic_2/computation/cpre_cpre.ma
index 5d570c7248bc10303a312d9f00ae2253b0a03a11..4fd4181197ac9f3391937c26e49053735e64b098 100644 (file)
--- a/matita/matita/contribs/lambdadelta/basic_2/computation/cpre_cpre.ma
+++ b/matita/matita/contribs/lambdadelta/basic_2/computation/cpre_cpre.ma
@@ -15,7 +15,7 @@
 include "basic_2/computation/cprs_cprs.ma".
 include "basic_2/computation/cpre.ma".
 
-(* CONTEXT-SENSITIVE PARALLEL EVALUATION ON TERMS **************************)
+(* EVALUATION FOR CONTEXT-SENSITIVE PARALLEL REDUCTION ON TERMS *************)
 
 (* Main properties *********************************************************)