- lambda_delta: "conversion" and "equivalence" components started

[helm.git] / matita / matita / contribs / lambda_delta / Basic_2 / Basic_1.txt

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 5e2e3d9612e393087cf6812cba8525a16f4e77aa..54f20be57c3ff2f3fe6512917c421ada2e83fe73 100644 (file)
--- 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