X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbasic_2%2Frt_transition%2Fcpr.ma;h=6bcfa173e8ec96dfc351c475a5820c71c14026ed;hb=fed8c1a61273b0eb4a719fda70e2b5dd31933c8a;hp=a5d3ca4d3188f38ef9019301d9dfe924108d4c35;hpb=138e01310a2334cd531819122c794d72d14c6e8c;p=helm.git

diff --git a/matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpr.ma b/matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpr.ma
index a5d3ca4d3..6bcfa173e 100644
--- a/matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpr.ma
+++ b/matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpr.ma
@@ -107,7 +107,3 @@ qed-.
             pr2_gen_csort pr2_gen_cflat pr2_gen_cbind
             pr2_gen_ctail pr2_ctail
 *)
-(* Basic_1: removed local theorems 4:
-            pr0_delta_eps pr0_cong_delta
-            pr2_free_free pr2_free_delta
-*)