X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambda_delta%2Fbasic_2%2Funfold%2Fthin_ldrop.ma;h=971031a5e70241dabf49267ce7ba8411bb2add96;hb=db7ecce6c398a42f14557067bf18b61cf75da80e;hp=ef0f9f8c94ce60e1597ab2a0753169822eda9c5d;hpb=fc5a0d62ece398d8547dda0f429b9f1e24bca306;p=helm.git

diff --git a/matita/matita/contribs/lambda_delta/basic_2/unfold/thin_ldrop.ma b/matita/matita/contribs/lambda_delta/basic_2/unfold/thin_ldrop.ma
index ef0f9f8c9..971031a5e 100644
--- a/matita/matita/contribs/lambda_delta/basic_2/unfold/thin_ldrop.ma
+++ b/matita/matita/contribs/lambda_delta/basic_2/unfold/thin_ldrop.ma
@@ -16,7 +16,7 @@ include "basic_2/substitution/ldrop_ldrop.ma".
 include "basic_2/unfold/ltpss_ldrop.ma".
 include "basic_2/unfold/thin.ma".
 
-(* LOCAL ENVIRONMENT THINNING ***********************************************)
+(* BASIC LOCAL ENVIRONMENT THINNING *****************************************)
 
 (* Properties on local environment slicing **********************************)