X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fstatic_2%2Fstatic%2Freqg_length.ma;h=e654410f881cdeb55aa48116dd7bc0e24b636a22;hb=4d232392091ee233afc26ecf3120dd5f5c6a33c8;hp=0a1175ad007e7ae831726d4a0e278bf2c6beb356;hpb=b118146b97959e6a6dde18fdd014b8e1e676a2d1;p=helm.git

diff --git a/matita/matita/contribs/lambdadelta/static_2/static/reqg_length.ma b/matita/matita/contribs/lambdadelta/static_2/static/reqg_length.ma
index 0a1175ad0..e654410f8 100644
--- a/matita/matita/contribs/lambdadelta/static_2/static/reqg_length.ma
+++ b/matita/matita/contribs/lambdadelta/static_2/static/reqg_length.ma
@@ -19,7 +19,7 @@ include "static_2/static/reqg.ma".
 
 (* GENERIC EQUIVALENCE FOR LOCAL ENVIRONMENTS ON REFERRED ENTRIES ***********)
 
-(* Advanved properties with free variables inclusion ************************)
+(* Advanced properties with free variables inclusion ************************)
 
 lemma reqg_fsge_comp (S):
       reflexive … S →