X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbasic_2%2Frt_transition%2Flfpx_lfpx.ma;h=a96910a0c05e73624be2b36876f3172c2927ad19;hb=730642efca3fb00ca4f8268bd97b0778cff14514;hp=102ae91dbe3dfe5719af0a91e667c0f70047441b;hpb=f129bbbfda0e65a5f92ec086246f6e288376d4f9;p=helm.git

diff --git a/matita/matita/contribs/lambdadelta/basic_2/rt_transition/lfpx_lfpx.ma b/matita/matita/contribs/lambdadelta/basic_2/rt_transition/lfpx_lfpx.ma
index 102ae91db..a96910a0c 100644
--- a/matita/matita/contribs/lambdadelta/basic_2/rt_transition/lfpx_lfpx.ma
+++ b/matita/matita/contribs/lambdadelta/basic_2/rt_transition/lfpx_lfpx.ma
@@ -15,7 +15,7 @@
 include "basic_2/static/lfxs_lfxs.ma".
 include "basic_2/rt_transition/lfpx.ma".
 
-(* UNBOUND PARALLEL RT-TRANSITION FOR LOCAL ENV.S ON REFERRED ENTRIES *******)
+(* UNBOUND PARALLEL RT-TRANSITION FOR REFERRED LOCAL ENVIRONMENTS ***********)
 
 (* Main properties **********************************************************)