3 "algebra/bool.ma" -> "logic/equality.ma" [];
4 "algebra/abelian_magmas.ma" [];
5 "algebra/abelian_magmas.ma" -> "algebra/magmas.ma" [];
6 "logic/destruct_bb.ma" [];
7 "logic/destruct_bb.ma" -> "logic/equality.ma" [];
8 "datatypes/bool.ma" [];
9 "datatypes/bool.ma" -> "logic/pts.ma" [];
10 "logic/equality.ma" [];
11 "logic/equality.ma" -> "logic/connectives.ma" [];
12 "logic/equality.ma" -> "properties/relations.ma" [];
13 "sets/partitions.ma" [];
14 "sets/partitions.ma" -> "datatypes/pairs.ma" [];
15 "sets/partitions.ma" -> "nat/compare.ma" [];
16 "sets/partitions.ma" -> "nat/minus.ma" [];
17 "sets/partitions.ma" -> "nat/plus.ma" [];
18 "sets/partitions.ma" -> "sets/sets.ma" [];
20 "logic/cprop.ma" -> "hints_declaration.ma" [];
21 "logic/cprop.ma" -> "sets/setoids1.ma" [];
22 "topology/igft.ma" [];
23 "topology/igft.ma" -> "logic/equality.ma" [];
24 "topology/igft.ma" -> "sets/sets.ma" [];
26 "nat/minus.ma" -> "nat/order.ma" [];
27 "algebra/magmas.ma" [];
28 "algebra/magmas.ma" -> "sets/sets.ma" [];
29 "hints_declaration.ma" [];
30 "hints_declaration.ma" -> "logic/pts.ma" [];
31 "properties/relations1.ma" [];
32 "properties/relations1.ma" -> "logic/pts.ma" [];
33 "algebra/unital_magmas.ma" [];
34 "algebra/unital_magmas.ma" -> "algebra/magmas.ma" [];
36 "nat/compare.ma" -> "datatypes/bool.ma" [];
37 "nat/compare.ma" -> "nat/order.ma" [];
38 "logic/connectives.ma" [];
39 "logic/connectives.ma" -> "logic/pts.ma" [];
41 "nat/nat.ma" -> "hints_declaration.ma" [];
42 "nat/nat.ma" -> "logic/equality.ma" [];
43 "nat/nat.ma" -> "sets/setoids.ma" [];
44 "topology/igft-setoid.ma" [];
45 "topology/igft-setoid.ma" -> "sets/sets.ma" [];
47 "sets/sets.ma" -> "hints_declaration.ma" [];
48 "sets/sets.ma" -> "logic/connectives.ma" [];
49 "sets/sets.ma" -> "logic/cprop.ma" [];
50 "sets/sets.ma" -> "properties/relations1.ma" [];
51 "sets/sets.ma" -> "sets/setoids1.ma" [];
54 "nat/order.ma" -> "nat/nat.ma" [];
55 "nat/order.ma" -> "sets/sets.ma" [];
57 "nat/plus.ma" -> "algebra/abelian_magmas.ma" [];
58 "nat/plus.ma" -> "algebra/unital_magmas.ma" [];
59 "nat/plus.ma" -> "nat/big_ops.ma" [];
60 "datatypes/pairs.ma" [];
61 "datatypes/pairs.ma" -> "logic/pts.ma" [];
62 "topology/cantor.ma" [];
63 "topology/cantor.ma" -> "nat/nat.ma" [];
64 "topology/cantor.ma" -> "topology/igft.ma" [];
65 "sets/setoids1.ma" [];
66 "sets/setoids1.ma" -> "properties/relations1.ma" [];
67 "sets/setoids1.ma" -> "sets/setoids.ma" [];
69 "nat/big_ops.ma" -> "algebra/magmas.ma" [];
70 "nat/big_ops.ma" -> "nat/order.ma" [];
71 "topology/igft2.ma" [];
72 "topology/igft2.ma" -> "topology/igft.ma" [];
74 "logic/markov.ma" -> "nat/order.ma" [];
75 "properties/relations.ma" [];
76 "properties/relations.ma" -> "logic/pts.ma" [];
78 "sets/setoids.ma" -> "logic/connectives.ma" [];
79 "sets/setoids.ma" -> "properties/relations.ma" [];