X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fstatic_2%2Fstatic%2Freqx_reqx.ma;h=c43edbdd17c42112b483fc16072414a5a1adca2d;hb=647504aa72b84eb49be8177b88a9254174e84d4b;hp=3d4c8921cbbf67888cbea2270a62ae38e950d4dc;hpb=b2cdc4abd9ac87e39bc51b0d9c38daea179adbd5;p=helm.git

diff --git a/matita/matita/contribs/lambdadelta/static_2/static/reqx_reqx.ma b/matita/matita/contribs/lambdadelta/static_2/static/reqx_reqx.ma
index 3d4c8921c..c43edbdd1 100644
--- a/matita/matita/contribs/lambdadelta/static_2/static/reqx_reqx.ma
+++ b/matita/matita/contribs/lambdadelta/static_2/static/reqx_reqx.ma
@@ -20,7 +20,6 @@ include "static_2/static/reqx_length.ma".
 
 (* Advanced properties ******************************************************)
 
-(* Basic_2A1: uses: lleq_sym *)
 lemma reqx_sym: ∀T. symmetric … (reqx T).
 /3 width=3 by reqx_fsge_comp, rex_sym, teqx_sym/ qed-.