From 26711af9f9afbaf93dbb3a4e1c227d6e884a8ebe Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Sun, 4 Jan 2009 20:42:32 +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 4962a0dbc..54bda9a40 100644 --- a/helm/software/matita/contribs/formal_topology/overlap/depends +++ b/helm/software/matita/contribs/formal_topology/overlap/depends @@ -1,11 +1,11 @@ o-basic_pairs.ma o-algebra.ma o-concrete_spaces.ma o-basic_pairs.ma o-saturations.ma o-saturations.ma o-algebra.ma -basic_pairs.ma relations.ma +basic_pairs.ma o-basic_pairs.ma relations.ma o-algebra.ma categories.ma logic/cprop_connectives.ma o-formal_topologies.ma o-basic_topologies.ma categories.ma logic/cprop_connectives.ma subsets.ma categories.ma o-algebra.ma -relations.ma subsets.ma +relations.ma o-algebra.ma subsets.ma o-basic_topologies.ma o-algebra.ma o-saturations.ma logic/cprop_connectives.ma -- 2.39.2