X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbasic_2%2Frt_transition%2Fcpx_reqx.ma;h=6c1aa906b62dc015aaa18dd73827f50530d22e4f;hp=7c05f8b2c7307aca46ff2a1e1176fea951105032;hb=647504aa72b84eb49be8177b88a9254174e84d4b;hpb=b2cdc4abd9ac87e39bc51b0d9c38daea179adbd5

diff --git a/matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpx_reqx.ma b/matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpx_reqx.ma
index 7c05f8b2c..6c1aa906b 100644
--- a/matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpx_reqx.ma
+++ b/matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpx_reqx.ma
@@ -22,7 +22,7 @@ include "basic_2/rt_transition/rpx_fsle.ma".
 (* Basic_2A1: was just: cpx_lleq_conf_sn *)
 lemma cpx_reqx_conf_sn (G):
       s_r_confluent1 … (cpx G) reqx.
-/3 width=6 by cpx_rex_conf/ qed-.
+/3 width=6 by cpx_rex_conf_sn/ qed-.
 
 (* Basic_2A1: was just: cpx_lleq_conf_dx *)
 lemma cpx_reqx_conf_dx (G) (L2):