- new component "s_transition" for the restored fqu and fquq

[helm.git] / matita / matita / contribs / lambdadelta / basic_2 / static / lsubr_lsubr.ma

diff --git a/matita/matita/contribs/lambdadelta/basic_2/static/lsubr_lsubr.ma b/matita/matita/contribs/lambdadelta/basic_2/static/lsubr_lsubr.ma
index f0e171e0b2198c2564fbcfe41061d6fe2499a12e..787a1937799a4559422b4452f2c0b2cbe9567586 100644 (file)
--- a/matita/matita/contribs/lambdadelta/basic_2/static/lsubr_lsubr.ma
+++ b/matita/matita/contribs/lambdadelta/basic_2/static/lsubr_lsubr.ma
@@ -14,7 +14,7 @@
 
 include "basic_2/static/lsubr.ma".
 
-(* RESTRICTED LOCAL ENVIRONMENT REFINEMENT **********************************)
+(* RESTRICTED REFINEMENT FOR LOCAL ENVIRONMENTS *****************************)
 
 (* Auxiliary inversion lemmas ***********************************************)