From f3142549c08fcedaedc3e2d2ef77e693162f160e Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Mon, 22 Dec 2008 21:08:46 +0000 Subject: [PATCH] ... --- helm/software/matita/contribs/formal_topology/overlap/depends | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/helm/software/matita/contribs/formal_topology/overlap/depends b/helm/software/matita/contribs/formal_topology/overlap/depends index 039a5df4e..0d85e86c2 100644 --- a/helm/software/matita/contribs/formal_topology/overlap/depends +++ b/helm/software/matita/contribs/formal_topology/overlap/depends @@ -1,7 +1,7 @@ o-basic_pairs.ma datatypes/categories.ma o-algebra.ma o-concrete_spaces.ma o-basic_pairs.ma o-saturations.ma o-saturations.ma o-algebra.ma -o-algebra.ma datatypes/bool.ma datatypes/categories.ma logic/cprop_connectives.ma -datatypes/bool.ma +o-algebra.ma datatypes/categories.ma logic/cprop_connectives.ma +o-basic_topologies.ma o-algebra.ma o-saturations.ma datatypes/categories.ma logic/cprop_connectives.ma -- 2.39.2