X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambda_delta%2Fbasic_2%2Fbasic_1.txt;h=178f0d0a8fd7d1047a74732b272838a380f32220;hb=9f7f534a11f08bb66815eddf957959eb0eaeb71f;hp=70d16259901c6cc78ca43a2b9afa3cb986ab4bce;hpb=b074ebf6441993694c6e39e4eaeeb58a3186f479;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 70d162599..178f0d0a8 100644
--- a/matita/matita/contribs/lambda_delta/basic_2/basic_1.txt
+++ b/matita/matita/contribs/lambda_delta/basic_2/basic_1.txt
@@ -170,17 +170,11 @@ pr0/fwd pr0_gen_void
 pr0/dec nf0_dec
 pr0/subst1 pr0_subst1_back
 pr0/subst1 pr0_subst1_fwd
-pr1/pr1 pr1_strip
-pr1/pr1 pr1_confluence
-pr1/props pr1_pr0
-pr1/props pr1_t
-pr1/props pr1_head_1
-pr1/props pr1_head_2
-pr1/props pr1_comp
+
 pr1/props pr1_eta
+
 pr2/fwd pr2_gen_void
 pr3/fwd pr3_gen_void
-pr3/pr1 pr3_pr1
 pr3/props pr3_eta
 sn3/props sns3_lifts
 sty1/cnt sty1_cnt