From: Ferruccio Guidi Date: Wed, 21 Apr 2010 09:00:04 +0000 (+0000) Subject: new dependences X-Git-Tag: make_still_working~2917 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=bc1e6e03512b4acc8dc542b8a37e6287a5cd46c7;p=helm.git new dependences From: fguidi --- diff --git a/helm/software/matita/nlibrary/depends b/helm/software/matita/nlibrary/depends index 9c8a7b1c6..22a5cb835 100644 --- a/helm/software/matita/nlibrary/depends +++ b/helm/software/matita/nlibrary/depends @@ -1,53 +1,52 @@ arithmetics/R.ma arithmetics/nat.ma datatypes/pairs.ma datatypes/sums.ma topology/igft.ma -SET171^3.ma TPTP.ma -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 +datatypes/bool.ma logic/pts.ma datatypes/sums.ma datatypes/pairs.ma logic/destruct_bb.ma logic/equality.ma -datatypes/bool.ma logic/pts.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 -topology/igft.ma logic/equality.ma sets/sets.ma basics/bool.ma basics/eq.ma basics/functions.ma -algebra/magmas.ma sets/sets.ma +topology/igft.ma logic/equality.ma sets/sets.ma nat/minus.ma nat/order.ma +algebra/magmas.ma sets/sets.ma hints_declaration.ma logic/pts.ma arithmetics/Z.ma arithmetics/nat.ma -properties/relations1.ma logic/pts.ma arithmetics/compare.ma arithmetics/nat.ma Plogic/equality.ma logic/pts.ma +properties/relations1.ma logic/pts.ma TPTP.ma basics/eq.ma -sets/categories.ma sets/sets.ma -properties/relations2.ma logic/pts.ma PTS/gpts.ma PTS/subst.ma -algebra/unital_magmas.ma algebra/magmas.ma -nat/compare.ma datatypes/bool.ma nat/order.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 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 -topology/igft-setoid.ma sets/sets.ma +basics/relations.ma Plogic/connectives.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/setoids1.ma hints_declaration.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 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 diff --git a/helm/software/matita/nlibrary/depends.dot b/helm/software/matita/nlibrary/depends.dot index ebdc8fd34..f5f30de8d 100644 --- a/helm/software/matita/nlibrary/depends.dot +++ b/helm/software/matita/nlibrary/depends.dot @@ -4,12 +4,10 @@ digraph g { "arithmetics/R.ma" -> "datatypes/pairs.ma" []; "arithmetics/R.ma" -> "datatypes/sums.ma" []; "arithmetics/R.ma" -> "topology/igft.ma" []; - "SET171^3.ma" []; - "SET171^3.ma" -> "TPTP.ma" []; - "algebra/bool.ma" []; - "algebra/bool.ma" -> "logic/connectives.ma" []; "overlap/o-algebra.ma" []; "overlap/o-algebra.ma" -> "sets/categories2.ma" []; + "algebra/bool.ma" []; + "algebra/bool.ma" -> "logic/connectives.ma" []; "algebra/abelian_magmas.ma" []; "algebra/abelian_magmas.ma" -> "algebra/magmas.ma" []; "basics/functions.ma" []; @@ -22,12 +20,12 @@ digraph g { "arithmetics/nat.ma" -> "basics/eq.ma" []; "arithmetics/nat.ma" -> "basics/functions.ma" []; "arithmetics/nat.ma" -> "hints_declaration.ma" []; + "datatypes/bool.ma" []; + "datatypes/bool.ma" -> "logic/pts.ma" []; "datatypes/sums.ma" []; "datatypes/sums.ma" -> "datatypes/pairs.ma" []; "logic/destruct_bb.ma" []; "logic/destruct_bb.ma" -> "logic/equality.ma" []; - "datatypes/bool.ma" []; - "datatypes/bool.ma" -> "logic/pts.ma" []; "logic/equality.ma" []; "logic/equality.ma" -> "logic/connectives.ma" []; "logic/equality.ma" -> "properties/relations.ma" []; @@ -40,84 +38,84 @@ digraph g { "logic/cprop.ma" []; "logic/cprop.ma" -> "hints_declaration.ma" []; "logic/cprop.ma" -> "sets/setoids1.ma" []; - "topology/igft.ma" []; - "topology/igft.ma" -> "logic/equality.ma" []; - "topology/igft.ma" -> "sets/sets.ma" []; "basics/bool.ma" []; "basics/bool.ma" -> "basics/eq.ma" []; "basics/bool.ma" -> "basics/functions.ma" []; - "algebra/magmas.ma" []; - "algebra/magmas.ma" -> "sets/sets.ma" []; + "topology/igft.ma" []; + "topology/igft.ma" -> "logic/equality.ma" []; + "topology/igft.ma" -> "sets/sets.ma" []; "nat/minus.ma" []; "nat/minus.ma" -> "nat/order.ma" []; + "algebra/magmas.ma" []; + "algebra/magmas.ma" -> "sets/sets.ma" []; "hints_declaration.ma" []; "hints_declaration.ma" -> "logic/pts.ma" []; "arithmetics/Z.ma" []; "arithmetics/Z.ma" -> "arithmetics/nat.ma" []; - "properties/relations1.ma" []; - "properties/relations1.ma" -> "logic/pts.ma" []; "arithmetics/compare.ma" []; "arithmetics/compare.ma" -> "arithmetics/nat.ma" []; "Plogic/equality.ma" []; "Plogic/equality.ma" -> "logic/pts.ma" []; + "properties/relations1.ma" []; + "properties/relations1.ma" -> "logic/pts.ma" []; "TPTP.ma" []; "TPTP.ma" -> "basics/eq.ma" []; - "sets/categories.ma" []; - "sets/categories.ma" -> "sets/sets.ma" []; - "properties/relations2.ma" []; - "properties/relations2.ma" -> "logic/pts.ma" []; "PTS/gpts.ma" []; "PTS/gpts.ma" -> "PTS/subst.ma" []; - "algebra/unital_magmas.ma" []; - "algebra/unital_magmas.ma" -> "algebra/magmas.ma" []; + "datatypes/list.ma" []; + "datatypes/list.ma" -> "arithmetics/nat.ma" []; "nat/compare.ma" []; "nat/compare.ma" -> "datatypes/bool.ma" []; "nat/compare.ma" -> "nat/order.ma" []; - "datatypes/list.ma" []; - "datatypes/list.ma" -> "arithmetics/nat.ma" []; + "algebra/unital_magmas.ma" []; + "algebra/unital_magmas.ma" -> "algebra/magmas.ma" []; + "sets/categories.ma" []; + "sets/categories.ma" -> "sets/sets.ma" []; + "properties/relations2.ma" []; + "properties/relations2.ma" -> "logic/pts.ma" []; "nat/nat.ma" []; "nat/nat.ma" -> "hints_declaration.ma" []; "nat/nat.ma" -> "logic/equality.ma" []; "nat/nat.ma" -> "sets/setoids.ma" []; "logic/connectives.ma" []; "logic/connectives.ma" -> "logic/pts.ma" []; - "basics/relations.ma" []; - "basics/relations.ma" -> "Plogic/connectives.ma" []; "basics/list.ma" []; "basics/list.ma" -> "basics/bool.ma" []; "basics/list.ma" -> "basics/eq.ma" []; + "basics/relations.ma" []; + "basics/relations.ma" -> "Plogic/connectives.ma" []; + "basics/list2.ma" []; + "basics/list2.ma" -> "arithmetics/nat.ma" []; + "basics/list2.ma" -> "basics/list.ma" []; + "topology/igft-setoid.ma" []; + "topology/igft-setoid.ma" -> "sets/sets.ma" []; "sets/categories2.ma" []; "sets/categories2.ma" -> "sets/categories.ma" []; "sets/categories2.ma" -> "sets/setoids2.ma" []; "sets/categories2.ma" -> "sets/sets.ma" []; - "topology/igft-setoid.ma" []; - "topology/igft-setoid.ma" -> "sets/sets.ma" []; - "basics/list2.ma" []; - "basics/list2.ma" -> "arithmetics/nat.ma" []; - "basics/list2.ma" -> "basics/list.ma" []; "sets/sets.ma" []; "sets/sets.ma" -> "hints_declaration.ma" []; "sets/sets.ma" -> "logic/connectives.ma" []; "sets/sets.ma" -> "logic/cprop.ma" []; "sets/sets.ma" -> "properties/relations1.ma" []; "sets/sets.ma" -> "sets/setoids1.ma" []; - "logic/pts.ma" []; - "nat/order.ma" []; - "nat/order.ma" -> "nat/nat.ma" []; - "nat/order.ma" -> "sets/sets.ma" []; + "datatypes/pairs.ma" []; + "datatypes/pairs.ma" -> "logic/pts.ma" []; "nat/plus.ma" []; "nat/plus.ma" -> "algebra/abelian_magmas.ma" []; "nat/plus.ma" -> "algebra/unital_magmas.ma" []; "nat/plus.ma" -> "nat/big_ops.ma" []; - "datatypes/pairs.ma" []; - "datatypes/pairs.ma" -> "logic/pts.ma" []; + "nat/order.ma" []; + "nat/order.ma" -> "nat/nat.ma" []; + "nat/order.ma" -> "sets/sets.ma" []; + "logic/pts.ma" []; + "topology/cantor.ma" []; + "topology/cantor.ma" -> "nat/nat.ma" []; + "topology/cantor.ma" -> "topology/igft.ma" []; "sets/setoids1.ma" []; "sets/setoids1.ma" -> "hints_declaration.ma" []; "sets/setoids1.ma" -> "properties/relations1.ma" []; "sets/setoids1.ma" -> "sets/setoids.ma" []; - "topology/cantor.ma" []; - "topology/cantor.ma" -> "nat/nat.ma" []; - "topology/cantor.ma" -> "topology/igft.ma" []; "sets/setoids2.ma" []; "sets/setoids2.ma" -> "properties/relations2.ma" []; "sets/setoids2.ma" -> "sets/setoids1.ma" []; @@ -127,20 +125,20 @@ digraph g { "topology/igft2.ma" []; "topology/igft2.ma" -> "arithmetics/nat.ma" []; "topology/igft2.ma" -> "topology/igft.ma" []; - "properties/relations.ma" []; - "properties/relations.ma" -> "logic/pts.ma" []; "PTS/subst.ma" []; "PTS/subst.ma" -> "basics/list2.ma" []; "topology/igft3.ma" []; "topology/igft3.ma" -> "arithmetics/nat.ma" []; "topology/igft3.ma" -> "datatypes/bool.ma" []; "topology/igft3.ma" -> "topology/igft.ma" []; + "properties/relations.ma" []; + "properties/relations.ma" -> "logic/pts.ma" []; + "basics/eq.ma" []; + "basics/eq.ma" -> "basics/relations.ma" []; "topology/igft4.ma" []; "topology/igft4.ma" -> "arithmetics/nat.ma" []; "topology/igft4.ma" -> "datatypes/bool.ma" []; "topology/igft4.ma" -> "topology/igft.ma" []; - "basics/eq.ma" []; - "basics/eq.ma" -> "basics/relations.ma" []; "sets/setoids.ma" []; "sets/setoids.ma" -> "hints_declaration.ma" []; "sets/setoids.ma" -> "logic/connectives.ma" []; diff --git a/helm/software/matita/nlibrary/depends.png b/helm/software/matita/nlibrary/depends.png index 1f81825a8..f030d04c1 100644 Binary files a/helm/software/matita/nlibrary/depends.png and b/helm/software/matita/nlibrary/depends.png differ