]> matita.cs.unibo.it Git - helm.git/blob - matita/matita/nlibrary/depends.dot
Progress
[helm.git] / matita / matita / nlibrary / depends.dot
1 digraph g {
2   ".unnamed.ma" [];
3   ".unnamed.ma" -> "datatypes/list.ma" [];
4   ".unnamed.ma" -> "sets/setoids.ma" [];
5   "PTS/subst.ma" [];
6   "PTS/subst.ma" -> "basics/list2.ma" [];
7   "topology/igft3.ma" [];
8   "topology/igft3.ma" -> "arithmetics/nat.ma" [];
9   "topology/igft3.ma" -> "datatypes/bool.ma" [];
10   "topology/igft3.ma" -> "topology/igft.ma" [];
11   "basics/functions.ma" [];
12   "basics/functions.ma" -> "Plogic/connectives.ma" [];
13   "basics/functions.ma" -> "Plogic/equality.ma" [];
14   "nat/compare.ma" [];
15   "nat/compare.ma" -> "datatypes/bool.ma" [];
16   "nat/compare.ma" -> "nat/order.ma" [];
17   "arithmetics/compare.ma" [];
18   "arithmetics/compare.ma" -> "arithmetics/nat.ma" [];
19   "datatypes/list-setoids.ma" [];
20   "datatypes/list-setoids.ma" -> "datatypes/list.ma" [];
21   "datatypes/list-setoids.ma" -> "sets/setoids.ma" [];
22   "datatypes/list-setoids.ma" -> "sets/setoids1.ma" [];
23   "datatypes/list-theory.ma" [];
24   "datatypes/list-theory.ma" -> "arithmetics/nat.ma" [];
25   "datatypes/list-theory.ma" -> "datatypes/list.ma" [];
26   "logic/pts.ma" [];
27   "basics/relations.ma" [];
28   "basics/relations.ma" -> "Plogic/connectives.ma" [];
29   "Plogic/equality.ma" [];
30   "Plogic/equality.ma" -> "logic/pts.ma" [];
31   "Plogic/connectives.ma" [];
32   "Plogic/connectives.ma" -> "Plogic/equality.ma" [];
33   "sets/categories.ma" [];
34   "sets/categories.ma" -> "sets/sets.ma" [];
35   "datatypes/pairs.ma" [];
36   "datatypes/pairs.ma" -> "logic/pts.ma" [];
37   "algebra/magmas.ma" [];
38   "algebra/magmas.ma" -> "sets/sets.ma" [];
39   "Plogic/russell_support.ma" [];
40   "Plogic/russell_support.ma" -> "Plogic/connectives.ma" [];
41   "Plogic/russell_support.ma" -> "Plogic/jmeq.ma" [];
42   "Plogic/russell_support.ma" -> "datatypes/sums.ma" [];
43   "Plogic/russell_support.ma" -> "logic/connectives.ma" [];
44   "topology/cantor.ma" [];
45   "topology/cantor.ma" -> "nat/nat.ma" [];
46   "topology/cantor.ma" -> "topology/igft.ma" [];
47   "logic/cprop.ma" [];
48   "logic/cprop.ma" -> "hints_declaration.ma" [];
49   "logic/cprop.ma" -> "sets/setoids1.ma" [];
50   "TPTP.ma" [];
51   "TPTP.ma" -> "basics/eq.ma" [];
52   "sets/setoids2.ma" [];
53   "sets/setoids2.ma" -> "properties/relations2.ma" [];
54   "sets/setoids2.ma" -> "sets/setoids1.ma" [];
55   "nat/plus.ma" [];
56   "nat/plus.ma" -> "algebra/abelian_magmas.ma" [];
57   "nat/plus.ma" -> "algebra/unital_magmas.ma" [];
58   "nat/plus.ma" -> "nat/big_ops.ma" [];
59   "sets/sets.ma" [];
60   "sets/sets.ma" -> "logic/connectives.ma" [];
61   "sets/sets.ma" -> "logic/cprop.ma" [];
62   "sets/sets.ma" -> "properties/relations1.ma" [];
63   "sets/sets.ma" -> "sets/setoids1.ma" [];
64   "PTS/gpts.ma" [];
65   "PTS/gpts.ma" -> "PTS/subst.ma" [];
66   "re/re-setoids.ma" [];
67   "re/re-setoids.ma" -> "datatypes/bool-setoids.ma" [];
68   "re/re-setoids.ma" -> "datatypes/list-setoids.ma" [];
69   "re/re-setoids.ma" -> "datatypes/pairs-setoids.ma" [];
70   "re/re-setoids.ma" -> "hints_declaration.ma" [];
71   "re/re-setoids.ma" -> "sets/sets.ma" [];
72   "topology/igft2.ma" [];
73   "topology/igft2.ma" -> "arithmetics/nat.ma" [];
74   "topology/igft2.ma" -> "topology/igft.ma" [];
75   "arithmetics/Z.ma" [];
76   "arithmetics/Z.ma" -> "arithmetics/nat.ma" [];
77   "datatypes/bool.ma" [];
78   "datatypes/bool.ma" -> "logic/pts.ma" [];
79   "logic/connectives.ma" [];
80   "logic/connectives.ma" -> "logic/pts.ma" [];
81   "properties/relations2.ma" [];
82   "properties/relations2.ma" -> "logic/pts.ma" [];
83   "algebra/bool.ma" [];
84   "algebra/bool.ma" -> "logic/connectives.ma" [];
85   "sets/categories2.ma" [];
86   "sets/categories2.ma" -> "sets/categories.ma" [];
87   "sets/categories2.ma" -> "sets/setoids2.ma" [];
88   "sets/categories2.ma" -> "sets/sets.ma" [];
89   "basics/list2.ma" [];
90   "basics/list2.ma" -> "arithmetics/nat.ma" [];
91   "basics/list2.ma" -> "basics/list.ma" [];
92   "arithmetics/nat.ma" [];
93   "arithmetics/nat.ma" -> "basics/bool.ma" [];
94   "arithmetics/nat.ma" -> "basics/eq.ma" [];
95   "arithmetics/nat.ma" -> "basics/functions.ma" [];
96   "arithmetics/nat.ma" -> "hints_declaration.ma" [];
97   "sets/setoids1.ma" [];
98   "sets/setoids1.ma" -> "hints_declaration.ma" [];
99   "sets/setoids1.ma" -> "properties/relations1.ma" [];
100   "sets/setoids1.ma" -> "sets/setoids.ma" [];
101   "nat/minus.ma" [];
102   "nat/minus.ma" -> "nat/order.ma" [];
103   "logic/cologic.ma" [];
104   "logic/cologic.ma" -> "Plogic/connectives.ma" [];
105   "logic/cologic.ma" -> "Plogic/equality.ma" [];
106   "logic/cologic.ma" -> "datatypes/bool.ma" [];
107   "logic/cologic.ma" -> "logic/equality.ma" [];
108   "logic/cologic.ma" -> "logic/pts.ma" [];
109   "SET171^3.ma" [];
110   "SET171^3.ma" -> "TPTP.ma" [];
111   "datatypes/list.ma" [];
112   "datatypes/list.ma" -> "logic/pts.ma" [];
113   "Plogic/jmeq.ma" [];
114   "Plogic/jmeq.ma" -> "Plogic/equality.ma" [];
115   "sets/partitions.ma" [];
116   "sets/partitions.ma" -> "datatypes/pairs.ma" [];
117   "sets/partitions.ma" -> "nat/compare.ma" [];
118   "sets/partitions.ma" -> "nat/minus.ma" [];
119   "sets/partitions.ma" -> "nat/plus.ma" [];
120   "sets/partitions.ma" -> "sets/sets.ma" [];
121   "topology/igft-setoid.ma" [];
122   "topology/igft-setoid.ma" -> "sets/sets.ma" [];
123   "sets/setoids.ma" [];
124   "sets/setoids.ma" -> "hints_declaration.ma" [];
125   "sets/setoids.ma" -> "logic/connectives.ma" [];
126   "sets/setoids.ma" -> "properties/relations.ma" [];
127   "properties/relations.ma" [];
128   "properties/relations.ma" -> "logic/pts.ma" [];
129   "nat/big_ops.ma" [];
130   "nat/big_ops.ma" -> "algebra/magmas.ma" [];
131   "nat/big_ops.ma" -> "nat/order.ma" [];
132   "arithmetics/R.ma" [];
133   "arithmetics/R.ma" -> "arithmetics/nat.ma" [];
134   "arithmetics/R.ma" -> "datatypes/pairs.ma" [];
135   "arithmetics/R.ma" -> "datatypes/sums.ma" [];
136   "arithmetics/R.ma" -> "topology/igft.ma" [];
137   "arithmetics/minimization.ma" [];
138   "arithmetics/minimization.ma" -> "arithmetics/nat.ma" [];
139   "algebra/unital_magmas.ma" [];
140   "algebra/unital_magmas.ma" -> "algebra/magmas.ma" [];
141   "properties/relations1.ma" [];
142   "properties/relations1.ma" -> "logic/pts.ma" [];
143   "basics/bool.ma" [];
144   "basics/bool.ma" -> "basics/eq.ma" [];
145   "basics/bool.ma" -> "basics/functions.ma" [];
146   "datatypes/bool-setoids.ma" [];
147   "datatypes/bool-setoids.ma" -> "datatypes/bool.ma" [];
148   "datatypes/bool-setoids.ma" -> "sets/setoids.ma" [];
149   "logic/equality.ma" [];
150   "logic/equality.ma" -> "logic/connectives.ma" [];
151   "logic/equality.ma" -> "properties/relations.ma" [];
152   "datatypes/pairs-setoids.ma" [];
153   "datatypes/pairs-setoids.ma" -> "datatypes/pairs.ma" [];
154   "datatypes/pairs-setoids.ma" -> "sets/setoids.ma" [];
155   "topology/igft4.ma" [];
156   "topology/igft4.ma" -> "arithmetics/nat.ma" [];
157   "topology/igft4.ma" -> "datatypes/bool.ma" [];
158   "topology/igft4.ma" -> "topology/igft.ma" [];
159   "basics/eq.ma" [];
160   "basics/eq.ma" -> "basics/relations.ma" [];
161   "datatypes/sums.ma" [];
162   "datatypes/sums.ma" -> "datatypes/pairs.ma" [];
163   "hints_declaration.ma" [];
164   "hints_declaration.ma" -> "logic/pts.ma" [];
165   "logic/destruct_bb.ma" [];
166   "logic/destruct_bb.ma" -> "logic/equality.ma" [];
167   "topology/igft.ma" [];
168   "topology/igft.ma" -> "logic/equality.ma" [];
169   "topology/igft.ma" -> "sets/sets.ma" [];
170   "algebra/abelian_magmas.ma" [];
171   "algebra/abelian_magmas.ma" -> "algebra/magmas.ma" [];
172   "overlap/o-algebra.ma" [];
173   "overlap/o-algebra.ma" -> "sets/categories2.ma" [];
174   "re/re.ma" [];
175   "re/re.ma" -> "arithmetics/nat.ma" [];
176   "re/re.ma" -> "datatypes/list.ma" [];
177   "re/re.ma" -> "datatypes/pairs.ma" [];
178   "re/re.ma" -> "hints_declaration.ma" [];
179   "basics/list.ma" [];
180   "basics/list.ma" -> "basics/bool.ma" [];
181   "basics/list.ma" -> "basics/eq.ma" [];
182   "nat/nat.ma" [];
183   "nat/nat.ma" -> "hints_declaration.ma" [];
184   "nat/nat.ma" -> "logic/equality.ma" [];
185   "nat/nat.ma" -> "sets/setoids.ma" [];
186   "nat/order.ma" [];
187   "nat/order.ma" -> "nat/nat.ma" [];
188   "nat/order.ma" -> "sets/sets.ma" [];
189   
190   }