3 "logic/cprop.ma" -> "hints_declaration.ma" [];
4 "logic/cprop.ma" -> "sets/setoids1.ma" [];
6 "sets/sets.ma" -> "hints_declaration.ma" [];
7 "sets/sets.ma" -> "logic/connectives.ma" [];
8 "sets/sets.ma" -> "logic/cprop.ma" [];
9 "sets/sets.ma" -> "properties/relations1.ma" [];
10 "sets/sets.ma" -> "sets/setoids1.ma" [];
11 "topology/igft.ma" [];
12 "topology/igft.ma" -> "logic/equality.ma" [];
13 "topology/igft.ma" -> "sets/sets.ma" [];
14 "datatypes/bool.ma" [];
15 "datatypes/bool.ma" -> "logic/pts.ma" [];
16 "sets/setoids1.ma" [];
17 "sets/setoids1.ma" -> "properties/relations1.ma" [];
18 "sets/setoids1.ma" -> "sets/setoids.ma" [];
19 "logic/equality.ma" [];
20 "logic/equality.ma" -> "logic/connectives.ma" [];
21 "logic/equality.ma" -> "properties/relations.ma" [];
23 "sets/setoids.ma" -> "logic/connectives.ma" [];
24 "sets/setoids.ma" -> "properties/relations.ma" [];
25 "logic/connectives.ma" [];
26 "logic/connectives.ma" -> "logic/pts.ma" [];
27 "topology/cantor.ma" [];
28 "topology/cantor.ma" -> "nat/nat.ma" [];
29 "topology/cantor.ma" -> "topology/igft.ma" [];
30 "datatypes/pairs.ma" [];
31 "datatypes/pairs.ma" -> "logic/pts.ma" [];
32 "algebra/abelian_magmas.ma" [];
33 "algebra/abelian_magmas.ma" -> "algebra/magmas.ma" [];
35 "nat/plus.ma" -> "algebra/abelian_magmas.ma" [];
36 "nat/plus.ma" -> "algebra/unital_magmas.ma" [];
37 "nat/plus.ma" -> "nat/big_ops.ma" [];
39 "nat/minus.ma" -> "nat/order.ma" [];
40 "algebra/magmas.ma" [];
41 "algebra/magmas.ma" -> "sets/sets.ma" [];
42 "properties/relations1.ma" [];
43 "properties/relations1.ma" -> "logic/pts.ma" [];
45 "nat/big_ops.ma" -> "algebra/magmas.ma" [];
46 "nat/big_ops.ma" -> "nat/order.ma" [];
48 "nat/nat.ma" -> "hints_declaration.ma" [];
49 "nat/nat.ma" -> "logic/equality.ma" [];
50 "nat/nat.ma" -> "sets/setoids.ma" [];
51 "logic/destruct_bb.ma" [];
52 "logic/destruct_bb.ma" -> "logic/equality.ma" [];
53 "properties/relations.ma" [];
54 "properties/relations.ma" -> "logic/pts.ma" [];
56 "nat/compare.ma" -> "datatypes/bool.ma" [];
57 "nat/compare.ma" -> "nat/order.ma" [];
58 "hints_declaration.ma" [];
59 "hints_declaration.ma" -> "logic/pts.ma" [];
62 "nat/order.ma" -> "nat/nat.ma" [];
63 "nat/order.ma" -> "sets/sets.ma" [];
64 "algebra/unital_magmas.ma" [];
65 "algebra/unital_magmas.ma" -> "algebra/magmas.ma" [];
66 "sets/partitions.ma" [];
67 "sets/partitions.ma" -> "datatypes/pairs.ma" [];
68 "sets/partitions.ma" -> "nat/compare.ma" [];
69 "sets/partitions.ma" -> "nat/minus.ma" [];
70 "sets/partitions.ma" -> "nat/plus.ma" [];
71 "sets/partitions.ma" -> "sets/sets.ma" [];