X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbasic_2%2Fcomputation%2Fcpre_cpre.ma;h=4fd4181197ac9f3391937c26e49053735e64b098;hb=fb5c93c9812ea39fb78f1470da2095c80822e158;hp=5d570c7248bc10303a312d9f00ae2253b0a03a11;hpb=82500a9ceb53e1af0263c22afbd5954fa3a83190;p=helm.git

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 5d570c724..4fd418119 100644
--- 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 *********************************************************)