]> matita.cs.unibo.it Git - helm.git/commitdiff
Inclusion "improved".
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 12 Oct 2006 09:46:37 +0000 (09:46 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 12 Oct 2006 09:46:37 +0000 (09:46 +0000)
matita/contribs/CoRN/algebra/SetoidFun.ma

index 4a7fde036e114a5f0482e3da0c5383f7f8aea022..96a583cfa94dd903c80fcbef25badd1c438849bc 100644 (file)
@@ -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