- advances on drops

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

diff --git a/matita/matita/contribs/lambdadelta/basic_2/static/lsuba_aaa.ma b/matita/matita/contribs/lambdadelta/basic_2/static/lsuba_aaa.ma
index 6f8e00c84ebf2cf4827ff0f7fe40b542a3704894..9f1f9bcc59b49e8fb20e9d9b12a4e134afc16fa0 100644 (file)
--- a/matita/matita/contribs/lambdadelta/basic_2/static/lsuba_aaa.ma
+++ b/matita/matita/contribs/lambdadelta/basic_2/static/lsuba_aaa.ma
@@ -15,7 +15,7 @@
 include "basic_2/static/aaa_aaa.ma".
 include "basic_2/static/lsuba.ma".
 
-(* LOCAL ENVIRONMENT REFINEMENT FOR ATOMIC ARITY ASSIGNMENT *****************)
+(* RESTRICTED REFINEMENT FOR ATOMIC ARITY ASSIGNMENT ************************)
 
 (* Properties concerning atomic arity assignment ****************************)