X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambda_delta%2Fbasic_2%2Freducibility%2Ffpr_cpr.ma;h=7abd3f22fa73b5e4c9c1f206cdc0bc13a2a64a9c;hb=85a42e4a2a4c62818b6a98eff545e58ceb8770a4;hp=e034710b2f2af3f2ec9a2dc9b823b6e717971aec;hpb=7bedf1797ba168f0742194b2add69575e5d4a5cd;p=helm.git

diff --git a/matita/matita/contribs/lambda_delta/basic_2/reducibility/fpr_cpr.ma b/matita/matita/contribs/lambda_delta/basic_2/reducibility/fpr_cpr.ma
index e034710b2..7abd3f22f 100644
--- a/matita/matita/contribs/lambda_delta/basic_2/reducibility/fpr_cpr.ma
+++ b/matita/matita/contribs/lambda_delta/basic_2/reducibility/fpr_cpr.ma
@@ -14,7 +14,7 @@
 
 include "basic_2/reducibility/cfpr_cpr.ma".
 
-(* FOCALIZED PARALLEL REDUCTION ON CLOSURES *********************************)
+(* CONTEXT-FREE PARALLEL REDUCTION ON CLOSURES ******************************)
 
 (* Advanced propertis *******************************************************)