From b9c837ca4598924670bde2e2a1144be35ead425c Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Mon, 3 Jun 2013 13:58:42 +0000 Subject: [PATCH] redundant dependence removed --- .../matita/contribs/lambdadelta/basic_2/equivalence/cpcs_lpss.ma | 1 - 1 file changed, 1 deletion(-) diff --git a/matita/matita/contribs/lambdadelta/basic_2/equivalence/cpcs_lpss.ma b/matita/matita/contribs/lambdadelta/basic_2/equivalence/cpcs_lpss.ma index 3da649bc5..09d29754f 100644 --- a/matita/matita/contribs/lambdadelta/basic_2/equivalence/cpcs_lpss.ma +++ b/matita/matita/contribs/lambdadelta/basic_2/equivalence/cpcs_lpss.ma @@ -12,7 +12,6 @@ (* *) (**************************************************************************) -include "basic_2/substitution/lpss_lpss.ma". include "basic_2/computation/cprs_lpss.ma". include "basic_2/equivalence/cpcs_cpcs.ma". -- 2.39.5