Thanks to Guarrigue, code for Serializer functor simplified using

[helm.git] / matita / matita / contribs / lambda_delta / basic_2 / unfold / thin_ldrop.ma

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 ef0f9f8c94ce60e1597ab2a0753169822eda9c5d..971031a5e70241dabf49267ce7ba8411bb2add96 100644 (file)
--- 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 **********************************)