X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambda_delta%2Fbasic_2%2Fbasic_1.txt;h=9e3ecb7929dca61b919402924cbf22101e5b45d2;hb=cb38da6095e3af84131a3ebf47a9f252f34a804c;hp=87bf34936f8142b0d0590e47c55591fd47ae6cee;hpb=db7ecce6c398a42f14557067bf18b61cf75da80e;p=helm.git

diff --git a/matita/matita/contribs/lambda_delta/basic_2/basic_1.txt b/matita/matita/contribs/lambda_delta/basic_2/basic_1.txt
index 87bf34936..9e3ecb792 100644
--- a/matita/matita/contribs/lambda_delta/basic_2/basic_1.txt
+++ b/matita/matita/contribs/lambda_delta/basic_2/basic_1.txt
@@ -78,22 +78,12 @@ csubc/arity csubc_arity_trans
 csubc/drop1 drop1_csubc_trans
 csubc/drop drop_csubc_trans
 
-csubt/clear csubt_clear_conf
 csubt/csuba csubt_csuba
-csubt/drop csubt_drop_flat
-csubt/drop csubt_drop_abbr
-csubt/drop csubt_drop_abst
 csubt/fwd csubt_gen_abbr
 csubt/fwd csubt_gen_abst
-csubt/fwd csubt_gen_flat
-csubt/fwd csubt_gen_bind
-csubt/getl csubt_getl_abbr
-csubt/getl csubt_getl_abst
 csubt/pc3 csubt_pr2
 csubt/pc3 csubt_pc3
-csubt/props csubt_refl
-csubt/ty3 csubt_ty3
-csubt/ty3 csubt_ty3_ld
+
 csubv/clear csubv_clear_conf
 csubv/clear csubv_clear_conf_void
 csubv/drop csubv_drop_conf