X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbasic_2%2Frt_computation%2Fcprs.ma;h=36d7644e69f0d8afdbf256c0e9b598c3a6779cbc;hp=e26838e192695bf583055818606e1783c83b5c64;hb=2f20aaf586f7cb4fd2933d765f4d09fcf077e4c5;hpb=d02c188ee3d4bd9885490447e63453adb2cb4ea1

diff --git a/matita/matita/contribs/lambdadelta/basic_2/rt_computation/cprs.ma b/matita/matita/contribs/lambdadelta/basic_2/rt_computation/cprs.ma
index e26838e19..36d7644e6 100644
--- a/matita/matita/contribs/lambdadelta/basic_2/rt_computation/cprs.ma
+++ b/matita/matita/contribs/lambdadelta/basic_2/rt_computation/cprs.ma
@@ -15,7 +15,7 @@
 include "basic_2/rt_transition/cpr.ma".
 include "basic_2/rt_computation/cpms.ma".
 
-(* CONTEXT-SENSITIVE PARALLEL COMPUTATION FOR TERMS *************************)
+(* CONTEXT-SENSITIVE PARALLEL R-COMPUTATION FOR TERMS ***********************)
 
 (* Basic eliminators ********************************************************)