3 "arithmetics/R.ma" -> "arithmetics/nat.ma" [];
4 "arithmetics/R.ma" -> "datatypes/pairs.ma" [];
5 "arithmetics/R.ma" -> "datatypes/sums.ma" [];
6 "arithmetics/R.ma" -> "topology/igft.ma" [];
8 "SET171^3.ma" -> "TPTP.ma" [];
10 "algebra/bool.ma" -> "logic/connectives.ma" [];
11 "overlap/o-algebra.ma" [];
12 "overlap/o-algebra.ma" -> "sets/categories2.ma" [];
13 "algebra/abelian_magmas.ma" [];
14 "algebra/abelian_magmas.ma" -> "algebra/magmas.ma" [];
15 "basics/functions.ma" [];
16 "basics/functions.ma" -> "Plogic/connectives.ma" [];
17 "basics/functions.ma" -> "Plogic/equality.ma" [];
18 "Plogic/connectives.ma" [];
19 "Plogic/connectives.ma" -> "Plogic/equality.ma" [];
20 "arithmetics/nat.ma" [];
21 "arithmetics/nat.ma" -> "basics/bool.ma" [];
22 "arithmetics/nat.ma" -> "basics/eq.ma" [];
23 "arithmetics/nat.ma" -> "basics/functions.ma" [];
24 "arithmetics/nat.ma" -> "hints_declaration.ma" [];
25 "datatypes/sums.ma" [];
26 "datatypes/sums.ma" -> "datatypes/pairs.ma" [];
27 "logic/destruct_bb.ma" [];
28 "logic/destruct_bb.ma" -> "logic/equality.ma" [];
29 "datatypes/bool.ma" [];
30 "datatypes/bool.ma" -> "logic/pts.ma" [];
31 "logic/equality.ma" [];
32 "logic/equality.ma" -> "logic/connectives.ma" [];
33 "logic/equality.ma" -> "properties/relations.ma" [];
34 "sets/partitions.ma" [];
35 "sets/partitions.ma" -> "datatypes/pairs.ma" [];
36 "sets/partitions.ma" -> "nat/compare.ma" [];
37 "sets/partitions.ma" -> "nat/minus.ma" [];
38 "sets/partitions.ma" -> "nat/plus.ma" [];
39 "sets/partitions.ma" -> "sets/sets.ma" [];
41 "logic/cprop.ma" -> "hints_declaration.ma" [];
42 "logic/cprop.ma" -> "sets/setoids1.ma" [];
43 "topology/igft.ma" [];
44 "topology/igft.ma" -> "logic/equality.ma" [];
45 "topology/igft.ma" -> "sets/sets.ma" [];
47 "basics/bool.ma" -> "basics/eq.ma" [];
48 "basics/bool.ma" -> "basics/functions.ma" [];
49 "algebra/magmas.ma" [];
50 "algebra/magmas.ma" -> "sets/sets.ma" [];
52 "nat/minus.ma" -> "nat/order.ma" [];
53 "hints_declaration.ma" [];
54 "hints_declaration.ma" -> "logic/pts.ma" [];
55 "arithmetics/Z.ma" [];
56 "arithmetics/Z.ma" -> "arithmetics/nat.ma" [];
57 "properties/relations1.ma" [];
58 "properties/relations1.ma" -> "logic/pts.ma" [];
59 "arithmetics/compare.ma" [];
60 "arithmetics/compare.ma" -> "arithmetics/nat.ma" [];
61 "Plogic/equality.ma" [];
62 "Plogic/equality.ma" -> "logic/pts.ma" [];
64 "TPTP.ma" -> "basics/eq.ma" [];
65 "sets/categories.ma" [];
66 "sets/categories.ma" -> "sets/sets.ma" [];
67 "properties/relations2.ma" [];
68 "properties/relations2.ma" -> "logic/pts.ma" [];
70 "PTS/gpts.ma" -> "PTS/subst.ma" [];
71 "algebra/unital_magmas.ma" [];
72 "algebra/unital_magmas.ma" -> "algebra/magmas.ma" [];
74 "nat/compare.ma" -> "datatypes/bool.ma" [];
75 "nat/compare.ma" -> "nat/order.ma" [];
76 "datatypes/list.ma" [];
77 "datatypes/list.ma" -> "arithmetics/nat.ma" [];
79 "nat/nat.ma" -> "hints_declaration.ma" [];
80 "nat/nat.ma" -> "logic/equality.ma" [];
81 "nat/nat.ma" -> "sets/setoids.ma" [];
82 "logic/connectives.ma" [];
83 "logic/connectives.ma" -> "logic/pts.ma" [];
84 "basics/relations.ma" [];
85 "basics/relations.ma" -> "Plogic/connectives.ma" [];
87 "basics/list.ma" -> "basics/bool.ma" [];
88 "basics/list.ma" -> "basics/eq.ma" [];
89 "sets/categories2.ma" [];
90 "sets/categories2.ma" -> "sets/categories.ma" [];
91 "sets/categories2.ma" -> "sets/setoids2.ma" [];
92 "sets/categories2.ma" -> "sets/sets.ma" [];
93 "topology/igft-setoid.ma" [];
94 "topology/igft-setoid.ma" -> "sets/sets.ma" [];
96 "basics/list2.ma" -> "arithmetics/nat.ma" [];
97 "basics/list2.ma" -> "basics/list.ma" [];
99 "sets/sets.ma" -> "hints_declaration.ma" [];
100 "sets/sets.ma" -> "logic/connectives.ma" [];
101 "sets/sets.ma" -> "logic/cprop.ma" [];
102 "sets/sets.ma" -> "properties/relations1.ma" [];
103 "sets/sets.ma" -> "sets/setoids1.ma" [];
106 "nat/order.ma" -> "nat/nat.ma" [];
107 "nat/order.ma" -> "sets/sets.ma" [];
109 "nat/plus.ma" -> "algebra/abelian_magmas.ma" [];
110 "nat/plus.ma" -> "algebra/unital_magmas.ma" [];
111 "nat/plus.ma" -> "nat/big_ops.ma" [];
112 "datatypes/pairs.ma" [];
113 "datatypes/pairs.ma" -> "logic/pts.ma" [];
114 "sets/setoids1.ma" [];
115 "sets/setoids1.ma" -> "hints_declaration.ma" [];
116 "sets/setoids1.ma" -> "properties/relations1.ma" [];
117 "sets/setoids1.ma" -> "sets/setoids.ma" [];
118 "topology/cantor.ma" [];
119 "topology/cantor.ma" -> "nat/nat.ma" [];
120 "topology/cantor.ma" -> "topology/igft.ma" [];
121 "sets/setoids2.ma" [];
122 "sets/setoids2.ma" -> "properties/relations2.ma" [];
123 "sets/setoids2.ma" -> "sets/setoids1.ma" [];
125 "nat/big_ops.ma" -> "algebra/magmas.ma" [];
126 "nat/big_ops.ma" -> "nat/order.ma" [];
127 "topology/igft2.ma" [];
128 "topology/igft2.ma" -> "arithmetics/nat.ma" [];
129 "topology/igft2.ma" -> "topology/igft.ma" [];
130 "properties/relations.ma" [];
131 "properties/relations.ma" -> "logic/pts.ma" [];
133 "PTS/subst.ma" -> "basics/list2.ma" [];
134 "topology/igft3.ma" [];
135 "topology/igft3.ma" -> "arithmetics/nat.ma" [];
136 "topology/igft3.ma" -> "datatypes/bool.ma" [];
137 "topology/igft3.ma" -> "topology/igft.ma" [];
138 "topology/igft4.ma" [];
139 "topology/igft4.ma" -> "arithmetics/nat.ma" [];
140 "topology/igft4.ma" -> "datatypes/bool.ma" [];
141 "topology/igft4.ma" -> "topology/igft.ma" [];
143 "basics/eq.ma" -> "basics/relations.ma" [];
144 "sets/setoids.ma" [];
145 "sets/setoids.ma" -> "hints_declaration.ma" [];
146 "sets/setoids.ma" -> "logic/connectives.ma" [];
147 "sets/setoids.ma" -> "properties/relations.ma" [];