X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambda_delta%2Fbasic_2%2Fsubstitution%2Fldrop.ma;h=3dfc3563906caeb81ffd56ea44b0221bd07869b2;hb=e0827239f4b44f2af9c7f88c4c7c41f2a193ae37;hp=e667c7cde14f83e07ea49bcf135663d1d324e621;hpb=70e6a24c9505c950714f138506f3eedb293084c5;p=helm.git

diff --git a/matita/matita/contribs/lambda_delta/basic_2/substitution/ldrop.ma b/matita/matita/contribs/lambda_delta/basic_2/substitution/ldrop.ma
index e667c7cde..3dfc35639 100644
--- a/matita/matita/contribs/lambda_delta/basic_2/substitution/ldrop.ma
+++ b/matita/matita/contribs/lambda_delta/basic_2/substitution/ldrop.ma
@@ -211,8 +211,8 @@ lemma ldrop_fwd_O1_length: ∀L1,L2,e. ⇩[0, e] L1 ≡ L2 → |L2| = |L1| - e.
 ]
 qed-.
 
-(* Basic_1: removed theorems 49:
-            drop_skip_flat
+(* Basic_1: removed theorems 50:
+            drop_ctail drop_skip_flat 
             cimp_flat_sx cimp_flat_dx cimp_bind cimp_getl_conf
             drop_clear drop_clear_O drop_clear_S
             clear_gen_sort clear_gen_bind clear_gen_flat clear_gen_flat_r