From: Claudio Sacerdoti Coen Date: Thu, 25 Mar 2010 09:12:41 +0000 (+0000) Subject: ... X-Git-Tag: make_still_working~2962 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=c35f0cd5d774d92e3158196eead7ecb17cf2f384;p=helm.git ... From: sacerdot --- diff --git a/helm/software/matita/nlibrary/depends b/helm/software/matita/nlibrary/depends index 31dd702c8..47d897290 100644 --- a/helm/software/matita/nlibrary/depends +++ b/helm/software/matita/nlibrary/depends @@ -1,44 +1,50 @@ -algebra/bool.ma logic/connectives.ma overlap/o-algebra.ma sets/categories2.ma +algebra/bool.ma logic/connectives.ma algebra/abelian_magmas.ma algebra/magmas.ma basics/functions.ma Plogic/connectives.ma Plogic/equality.ma Plogic/connectives.ma Plogic/equality.ma arithmetics/nat.ma basics/bool.ma basics/eq.ma basics/functions.ma hints_declaration.ma -logic/destruct_bb.ma logic/equality.ma datatypes/bool.ma logic/pts.ma +datatypes/sums.ma datatypes/pairs.ma +logic/destruct_bb.ma logic/equality.ma 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 basics/bool.ma basics/eq.ma basics/functions.ma topology/igft.ma logic/equality.ma sets/sets.ma -foo.ma logic/equality.ma logic/pts.ma nat/nat.ma -algebra/magmas.ma sets/sets.ma nat/minus.ma nat/order.ma +algebra/magmas.ma sets/sets.ma hints_declaration.ma logic/pts.ma -properties/relations1.ma logic/pts.ma +arithmetics/Z.ma arithmetics/nat.ma Plogic/equality.ma logic/pts.ma +properties/relations1.ma logic/pts.ma +PTS/gpts.ma PTS/subst.ma +datatypes/list.ma arithmetics/nat.ma +nat/compare.ma datatypes/bool.ma nat/order.ma +algebra/unital_magmas.ma algebra/magmas.ma sets/categories.ma sets/sets.ma properties/relations2.ma logic/pts.ma -algebra/unital_magmas.ma algebra/magmas.ma -nat/compare.ma datatypes/bool.ma nat/order.ma nat/nat.ma hints_declaration.ma logic/equality.ma sets/setoids.ma logic/connectives.ma logic/pts.ma basics/relations.ma Plogic/connectives.ma basics/list.ma basics/bool.ma basics/eq.ma -sets/categories2.ma sets/categories.ma sets/setoids2.ma sets/sets.ma +basics/list2.ma arithmetics/nat.ma basics/list.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 +nat/plus.ma algebra/abelian_magmas.ma algebra/unital_magmas.ma nat/big_ops.ma +nat/order.ma nat/nat.ma sets/sets.ma +logic/pts.ma topology/cantor.ma nat/nat.ma topology/igft.ma -sets/setoids2.ma properties/relations2.ma sets/setoids1.ma +sets/setoids1.ma hints_declaration.ma properties/relations1.ma sets/setoids.ma nat/big_ops.ma algebra/magmas.ma nat/order.ma +sets/setoids2.ma properties/relations2.ma sets/setoids1.ma topology/igft2.ma arithmetics/nat.ma topology/igft.ma -properties/relations.ma logic/pts.ma +PTS/subst.ma basics/list2.ma topology/igft3.ma arithmetics/nat.ma datatypes/bool.ma topology/igft.ma -topology/igft4.ma arithmetics/nat.ma datatypes/bool.ma topology/igft.ma +properties/relations.ma logic/pts.ma basics/eq.ma basics/relations.ma +topology/igft4.ma arithmetics/nat.ma datatypes/bool.ma topology/igft.ma sets/setoids.ma hints_declaration.ma logic/connectives.ma properties/relations.ma +topology/igft5.ma arithmetics/nat.ma datatypes/bool.ma topology/igft.ma