X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambda_delta%2FBasic_2%2FBasic_1.txt;h=54f20be57c3ff2f3fe6512917c421ada2e83fe73;hb=c8718cc46ab9aaca047366dfefe72bc7c9402e5a;hp=ae211d2919cf37c4ac1c9a78dcbebe62ec2f12d9;hpb=16bbb2d6b16d5647d944f18f0fd6d4dd3df431fe;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 ae211d291..54f20be57 100644
--- a/matita/matita/contribs/lambda_delta/Basic_2/Basic_1.txt
+++ b/matita/matita/contribs/lambda_delta/Basic_2/Basic_1.txt
@@ -184,6 +184,7 @@ pc1/props pc1_head_2
 pc1/props pc1_t
 pc1/props pc1_pr0_u2
 pc1/props pc1_head
+
 pc3/dec pc3_dec
 pc3/dec pc3_abst_dec
 pc3/fsubst0 pc3_pr2_fsubst0
@@ -205,13 +206,11 @@ pc3/left pc3_ind_left
 pc3/nf2 pc3_nf2
 pc3/nf2 pc3_nf2_unfold
 pc3/pc1 pc3_pc1
-pc3/props clear_pc3_trans
 pc3/props pc3_pr2_r
 pc3/props pc3_pr2_x
 pc3/props pc3_pr3_r
 pc3/props pc3_pr3_x
 pc3/props pc3_pr3_t
-pc3/props pc3_refl
 pc3/props pc3_s
 pc3/props pc3_thin_dx
 pc3/props pc3_head_1
@@ -252,17 +251,13 @@ pr2/fwd pr2_gen_void
 pr2/props pr2_ctail
 pr2/subst1 pr2_gen_cabbr
 
-pr3/fwd pr3_gen_sort
 pr3/fwd pr3_gen_abst
-pr3/fwd pr3_gen_cast
-pr3/fwd pr3_gen_lift
 pr3/fwd pr3_gen_lref
 pr3/fwd pr3_gen_void
 pr3/fwd pr3_gen_abbr
 pr3/fwd pr3_gen_appl
 pr3/fwd pr3_gen_bind
 pr3/iso pr3_iso_appls_abbr
-pr3/iso pr3_iso_appls_cast
 pr3/iso pr3_iso_appl_bind
 pr3/iso pr3_iso_appls_appl_bind
 pr3/iso pr3_iso_appls_bind
@@ -277,7 +272,6 @@ pr3/props pr3_head_21
 pr3/props pr3_head_12
 pr3/props pr3_flat
 pr3/props pr3_pr3_pr3_t
-pr3/props pr3_lift
 pr3/props pr3_eta
 pr3/subst1 pr3_subst1
 pr3/subst1 pr3_gen_cabbr