From: Enrico Tassi Date: Mon, 22 Dec 2008 21:08:46 +0000 (+0000) Subject: ... X-Git-Tag: make_still_working~4330 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=f3142549c08fcedaedc3e2d2ef77e693162f160e;p=helm.git ... --- 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