X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbasic_2%2Fbasic_1.txt;h=817f67b9c92a1772f3160a0763b59ccb7aa03ee0;hb=90ee1e85245752414b93826aabe388409571187a;hp=d64855d0d386850c6e86a9ddd560b3366803754d;hpb=e8998d29ab83e7b6aa495a079193705b2f6743d3;p=helm.git

diff --git a/matita/matita/contribs/lambdadelta/basic_2/basic_1.txt b/matita/matita/contribs/lambdadelta/basic_2/basic_1.txt
index d64855d0d..817f67b9c 100644
--- a/matita/matita/contribs/lambdadelta/basic_2/basic_1.txt
+++ b/matita/matita/contribs/lambdadelta/basic_2/basic_1.txt
@@ -44,9 +44,8 @@ arity/subst0 arity_fsubst0
 arity/subst0 arity_subst0
 asucc/fwd asucc_gen_sort
 asucc/fwd asucc_gen_head
+
 cnt/props cnt_lift
-C/props clt_wf__q_ind
-C/props clt_wf_ind
 
 csuba/arity csuba_arity
 csuba/arity csuba_arity_rev
@@ -119,7 +118,6 @@ leq/props leq_ahead_false_2
 lift1/fwd lift1_cons_tail
 lift1/fwd lifts1_nil
 lift1/fwd lifts1_cons
-lift/props thead_x_lift_y_y
 lift/props lifts_tapp
 lift/props lifts_inj
 llt/props lweight_repl