X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambda_delta%2Fbasic_2%2Freducibility%2Fcfpr_aaa.ma;fp=matita%2Fmatita%2Fcontribs%2Flambda_delta%2Fbasic_2%2Freducibility%2Fcfpr_aaa.ma;h=4c9b8ac9736415a277978dd25d0a15ef9b0acc33;hb=a04bfe6d381b281db15e8b432f6f221576aad439;hp=f893a5c144ec31068de93172f5ee55bbc89a4705;hpb=6906417a548f47a888fa5a43470dc3c5d7e4442b;p=helm.git

diff --git a/matita/matita/contribs/lambda_delta/basic_2/reducibility/cfpr_aaa.ma b/matita/matita/contribs/lambda_delta/basic_2/reducibility/cfpr_aaa.ma
index f893a5c14..4c9b8ac97 100644
--- a/matita/matita/contribs/lambda_delta/basic_2/reducibility/cfpr_aaa.ma
+++ b/matita/matita/contribs/lambda_delta/basic_2/reducibility/cfpr_aaa.ma
@@ -12,8 +12,6 @@
 (*                                                                        *)
 (**************************************************************************)
 
-include "basic_2/static/aaa_ltpss_sn.ma".
-include "basic_2/reducibility/ltpr_aaa.ma".
 include "basic_2/reducibility/cpr_aaa.ma".
 include "basic_2/reducibility/cfpr_cpr.ma".