From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 12 Oct 2006 09:46:37 +0000 (+0000)
Subject: Inclusion "improved".
X-Git-Tag: 0.4.95@7852~899
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=740b24c35e7ef95415519b9c0ea37125bfc90fd1;p=helm.git

Inclusion "improved".
---

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