From 740b24c35e7ef95415519b9c0ea37125bfc90fd1 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Thu, 12 Oct 2006 09:46:37 +0000 Subject: [PATCH] Inclusion "improved". --- matita/contribs/CoRN/algebra/SetoidFun.ma | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/matita/contribs/CoRN/algebra/SetoidFun.ma b/matita/contribs/CoRN/algebra/SetoidFun.ma index 4a7fde036..96a583cfa 100644 --- a/matita/contribs/CoRN/algebra/SetoidFun.ma +++ b/matita/contribs/CoRN/algebra/SetoidFun.ma @@ -15,7 +15,7 @@ (* $Id: CSetoidFun.v,v 1.12 2004/09/22 11:06:10 loeb Exp $ *) set "baseuri" "cic:/matita/algebra/CoRN/SetoidFun". -include "Setoids.ma". +include "algebra/Setoids.ma". definition ap_fun : \forall A,B : CSetoid. \forall f,g : CSetoid_fun A B. Prop \def -- 2.39.2