X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbasic_2%2Fbasic_1.txt;h=68140c8e8ebc51de72ca5b9793c96f89025a2c73;hb=775106f04b47236bf47e4321d745ec360ab4ebb4;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..68140c8e8 100644
--- a/matita/matita/contribs/lambdadelta/basic_2/basic_1.txt
+++ b/matita/matita/contribs/lambdadelta/basic_2/basic_1.txt
@@ -1,3 +1,12 @@
+# new ########################################################################
+
+s_le_gen s_lt_gen
+r_arith2 r_arith3 r_arith4 r_arith5 r_arith6 r_arith7 
+tle tle_r
+cle_r cle_head cle_trans_head cle_flt_trans
+lift_tle lift_free_sym
+subst0_gen_lift_rev_ge
+
 # waiting ####################################################################
 
 aplus/props aplus_reg_r
@@ -44,9 +53,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
@@ -117,11 +125,7 @@ leq/props leq_trans
 leq/props leq_ahead_false_1
 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
 llt/props llt_repl
 llt/props llt_trans
@@ -242,3 +246,4 @@ wf3/ty3 wf3_pc3_conf
 wf3/ty3 wf3_ty3_conf
 
 # check ######################################################################
+