From 910b95f6ac4733afe717a27a23ae7d0e67d8f701 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Wed, 30 Dec 2009 18:17:43 +0000 Subject: [PATCH] ... --- helm/software/matita/nlibrary/depends | 15 ++++++++++----- 1 file changed, 10 insertions(+), 5 deletions(-) diff --git a/helm/software/matita/nlibrary/depends b/helm/software/matita/nlibrary/depends index f01e96470..2e5130c4c 100644 --- a/helm/software/matita/nlibrary/depends +++ b/helm/software/matita/nlibrary/depends @@ -1,4 +1,5 @@ -algebra/bool.ma logic/equality.ma +algebra/bool.ma logic/connectives.ma +overlap/o-algebra.ma sets/categories2.ma algebra/abelian_magmas.ma algebra/magmas.ma logic/destruct_bb.ma logic/equality.ma datatypes/bool.ma logic/pts.ma @@ -6,24 +7,28 @@ logic/equality.ma logic/connectives.ma properties/relations.ma sets/partitions.ma datatypes/pairs.ma nat/compare.ma nat/minus.ma nat/plus.ma sets/sets.ma logic/cprop.ma hints_declaration.ma sets/setoids1.ma topology/igft.ma logic/equality.ma sets/sets.ma -nat/minus.ma nat/order.ma algebra/magmas.ma sets/sets.ma +nat/minus.ma nat/order.ma hints_declaration.ma logic/pts.ma +Plogic/equality.ma logic/pts.ma properties/relations1.ma logic/pts.ma +sets/categories.ma sets/sets.ma algebra/unital_magmas.ma algebra/magmas.ma nat/compare.ma datatypes/bool.ma nat/order.ma -logic/connectives.ma logic/pts.ma +properties/relations2.ma logic/pts.ma nat/nat.ma hints_declaration.ma logic/equality.ma sets/setoids.ma +logic/connectives.ma logic/pts.ma topology/igft-setoid.ma sets/sets.ma +sets/categories2.ma sets/categories.ma sets/setoids2.ma sets/sets.ma sets/sets.ma hints_declaration.ma logic/connectives.ma logic/cprop.ma properties/relations1.ma sets/setoids1.ma logic/pts.ma nat/order.ma nat/nat.ma sets/sets.ma nat/plus.ma algebra/abelian_magmas.ma algebra/unital_magmas.ma nat/big_ops.ma datatypes/pairs.ma logic/pts.ma +sets/setoids1.ma hints_declaration.ma properties/relations1.ma sets/setoids.ma topology/cantor.ma nat/nat.ma topology/igft.ma -sets/setoids1.ma properties/relations1.ma sets/setoids.ma +sets/setoids2.ma properties/relations2.ma sets/setoids1.ma nat/big_ops.ma algebra/magmas.ma nat/order.ma topology/igft2.ma topology/igft.ma -logic/markov.ma nat/order.ma properties/relations.ma logic/pts.ma sets/setoids.ma logic/connectives.ma properties/relations.ma -- 2.39.2