3 "logic/cprop.ma" -> "sets/setoids1.ma" [];
5 "sets/sets.ma" -> "logic/connectives.ma" [];
6 "sets/sets.ma" -> "logic/cprop.ma" [];
7 "sets/sets.ma" -> "properties/relations1.ma" [];
8 "sets/sets.ma" -> "sets/setoids1.ma" [];
10 "topology/igft.ma" -> "logic/connectives.ma" [];
11 "datatypes/bool.ma" [];
12 "datatypes/bool.ma" -> "logic/pts.ma" [];
13 "sets/setoids1.ma" [];
14 "sets/setoids1.ma" -> "properties/relations1.ma" [];
15 "sets/setoids1.ma" -> "sets/setoids.ma" [];
16 "logic/equality.ma" [];
17 "logic/equality.ma" -> "logic/connectives.ma" [];
18 "logic/equality.ma" -> "properties/relations.ma" [];
20 "sets/setoids.ma" -> "logic/connectives.ma" [];
21 "sets/setoids.ma" -> "properties/relations.ma" [];
23 ".unnamed.ma" -> "logic/pts.ma" [];
24 "logic/connectives.ma" [];
25 "logic/connectives.ma" -> "logic/pts.ma" [];
26 "datatypes/pairs.ma" [];
27 "datatypes/pairs.ma" -> "logic/pts.ma" [];
28 "algebra/abelian_magmas.ma" [];
29 "algebra/abelian_magmas.ma" -> "algebra/magmas.ma" [];
31 "nat/plus.ma" -> "algebra/abelian_magmas.ma" [];
32 "nat/plus.ma" -> "algebra/unital_magmas.ma" [];
33 "nat/plus.ma" -> "nat/big_ops.ma" [];
35 "nat/minus.ma" -> "nat/order.ma" [];
36 "algebra/magmas.ma" [];
37 "algebra/magmas.ma" -> "sets/sets.ma" [];
38 "properties/relations1.ma" [];
39 "properties/relations1.ma" -> "logic/pts.ma" [];
41 "nat/big_ops.ma" -> "algebra/magmas.ma" [];
42 "nat/big_ops.ma" -> "nat/order.ma" [];
44 "nat/nat.ma" -> "logic/equality.ma" [];
45 "nat/nat.ma" -> "sets/setoids.ma" [];
46 "properties/relations.ma" [];
47 "properties/relations.ma" -> "logic/pts.ma" [];
49 "nat/compare.ma" -> "datatypes/bool.ma" [];
50 "nat/compare.ma" -> "nat/order.ma" [];
53 "nat/order.ma" -> "nat/nat.ma" [];
54 "nat/order.ma" -> "sets/sets.ma" [];
55 "algebra/unital_magmas.ma" [];
56 "algebra/unital_magmas.ma" -> "algebra/magmas.ma" [];
57 "sets/partitions.ma" [];
58 "sets/partitions.ma" -> "datatypes/pairs.ma" [];
59 "sets/partitions.ma" -> "nat/compare.ma" [];
60 "sets/partitions.ma" -> "nat/minus.ma" [];
61 "sets/partitions.ma" -> "nat/plus.ma" [];
62 "sets/partitions.ma" -> "sets/sets.ma" [];