update in staic_2 and basic_2

[helm.git] / matita / matita / contribs / lambdadelta / static_2 / static / reqx_reqx.ma

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 3d4c8921cbbf67888cbea2270a62ae38e950d4dc..c43edbdd17c42112b483fc16072414a5a1adca2d 100644 (file)
--- 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-.