- some additions and corrections

[helm.git] / matita / matita / contribs / lambda_delta / basic_2 / reducibility / cfpr_aaa.ma

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 f893a5c144ec31068de93172f5ee55bbc89a4705..4c9b8ac9736415a277978dd25d0a15ef9b0acc33 100644 (file)
--- 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".