\lambda\delta version 2A released on Web site

[helm.git] / matita / matita / contribs / lambdadelta / basic_2 / basic_1.txt

diff --git a/matita/matita/contribs/lambdadelta/basic_2/basic_1.txt b/matita/matita/contribs/lambdadelta/basic_2/basic_1.txt
index d64855d0d386850c6e86a9ddd560b3366803754d..817f67b9c92a1772f3160a0763b59ccb7aa03ee0 100644 (file)
--- 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