update in ground

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

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 0a1175ad007e7ae831726d4a0e278bf2c6beb356..e654410f881cdeb55aa48116dd7bc0e24b636a22 100644 (file)
--- 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 →