- some additions and corrections

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

diff --git a/matita/matita/contribs/lambda_delta/basic_2/reducibility/cfpr_cpr.ma b/matita/matita/contribs/lambda_delta/basic_2/reducibility/cfpr_cpr.ma
index f37cb5159a3fdbd39ba6db2f407aa4d2533f6e68..a46c9776bc2cf315c47e8342907a149633cf78ba 100644 (file)
--- a/matita/matita/contribs/lambda_delta/basic_2/reducibility/cfpr_cpr.ma
+++ b/matita/matita/contribs/lambda_delta/basic_2/reducibility/cfpr_cpr.ma
@@ -13,7 +13,6 @@
 (**************************************************************************)
 
 include "basic_2/unfold/ltpss_sn_alt.ma".
-include "basic_2/reducibility/ltpr.ma".
 include "basic_2/reducibility/cpr_tpss.ma".
 include "basic_2/reducibility/cpr_cpr.ma".
 include "basic_2/reducibility/cfpr_ltpss.ma".