context-free parallel reduction on closures is confluent!

[helm.git] / matita / matita / contribs / lambda_delta / basic_2 / reducibility / fpr_cpr.ma

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 e034710b2f2af3f2ec9a2dc9b823b6e717971aec..7abd3f22fa73b5e4c9c1f206cdc0bc13a2a64a9c 100644 (file)
--- 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 *******************************************************)