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