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" [];
7 "overlap/o-algebra.ma" [];
8 "overlap/o-algebra.ma" -> "sets/categories2.ma" [];
10 "algebra/bool.ma" -> "logic/connectives.ma" [];
11 "algebra/abelian_magmas.ma" [];
12 "algebra/abelian_magmas.ma" -> "algebra/magmas.ma" [];
13 "basics/functions.ma" [];
14 "basics/functions.ma" -> "Plogic/connectives.ma" [];
15 "basics/functions.ma" -> "Plogic/equality.ma" [];
16 "Plogic/connectives.ma" [];
17 "Plogic/connectives.ma" -> "Plogic/equality.ma" [];
18 "arithmetics/nat.ma" [];
19 "arithmetics/nat.ma" -> "basics/bool.ma" [];
20 "arithmetics/nat.ma" -> "basics/eq.ma" [];
21 "arithmetics/nat.ma" -> "basics/functions.ma" [];
22 "arithmetics/nat.ma" -> "hints_declaration.ma" [];
23 "datatypes/bool.ma" [];
24 "datatypes/bool.ma" -> "logic/pts.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 "logic/equality.ma" [];
30 "logic/equality.ma" -> "logic/connectives.ma" [];
31 "logic/equality.ma" -> "properties/relations.ma" [];
32 "sets/partitions.ma" [];
33 "sets/partitions.ma" -> "datatypes/pairs.ma" [];
34 "sets/partitions.ma" -> "nat/compare.ma" [];
35 "sets/partitions.ma" -> "nat/minus.ma" [];
36 "sets/partitions.ma" -> "nat/plus.ma" [];
37 "sets/partitions.ma" -> "sets/sets.ma" [];
39 "logic/cprop.ma" -> "hints_declaration.ma" [];
40 "logic/cprop.ma" -> "sets/setoids1.ma" [];
42 "basics/bool.ma" -> "basics/eq.ma" [];
43 "basics/bool.ma" -> "basics/functions.ma" [];
44 "topology/igft.ma" [];
45 "topology/igft.ma" -> "logic/equality.ma" [];
46 "topology/igft.ma" -> "sets/sets.ma" [];
48 "nat/minus.ma" -> "nat/order.ma" [];
49 "algebra/magmas.ma" [];
50 "algebra/magmas.ma" -> "sets/sets.ma" [];
51 "hints_declaration.ma" [];
52 "hints_declaration.ma" -> "logic/pts.ma" [];
53 "arithmetics/Z.ma" [];
54 "arithmetics/Z.ma" -> "arithmetics/nat.ma" [];
55 "arithmetics/compare.ma" [];
56 "arithmetics/compare.ma" -> "arithmetics/nat.ma" [];
57 "Plogic/equality.ma" [];
58 "Plogic/equality.ma" -> "logic/pts.ma" [];
59 "properties/relations1.ma" [];
60 "properties/relations1.ma" -> "logic/pts.ma" [];
62 "TPTP.ma" -> "basics/eq.ma" [];
64 "PTS/gpts.ma" -> "PTS/subst.ma" [];
65 "datatypes/list.ma" [];
66 "datatypes/list.ma" -> "arithmetics/nat.ma" [];
68 "nat/compare.ma" -> "datatypes/bool.ma" [];
69 "nat/compare.ma" -> "nat/order.ma" [];
70 "algebra/unital_magmas.ma" [];
71 "algebra/unital_magmas.ma" -> "algebra/magmas.ma" [];
72 "sets/categories.ma" [];
73 "sets/categories.ma" -> "sets/sets.ma" [];
74 "properties/relations2.ma" [];
75 "properties/relations2.ma" -> "logic/pts.ma" [];
77 "nat/nat.ma" -> "hints_declaration.ma" [];
78 "nat/nat.ma" -> "logic/equality.ma" [];
79 "nat/nat.ma" -> "sets/setoids.ma" [];
80 "logic/connectives.ma" [];
81 "logic/connectives.ma" -> "logic/pts.ma" [];
83 "basics/list.ma" -> "basics/bool.ma" [];
84 "basics/list.ma" -> "basics/eq.ma" [];
85 "basics/relations.ma" [];
86 "basics/relations.ma" -> "Plogic/connectives.ma" [];
88 "basics/list2.ma" -> "arithmetics/nat.ma" [];
89 "basics/list2.ma" -> "basics/list.ma" [];
90 "topology/igft-setoid.ma" [];
91 "topology/igft-setoid.ma" -> "sets/sets.ma" [];
92 "sets/categories2.ma" [];
93 "sets/categories2.ma" -> "sets/categories.ma" [];
94 "sets/categories2.ma" -> "sets/setoids2.ma" [];
95 "sets/categories2.ma" -> "sets/sets.ma" [];
97 "sets/sets.ma" -> "hints_declaration.ma" [];
98 "sets/sets.ma" -> "logic/connectives.ma" [];
99 "sets/sets.ma" -> "logic/cprop.ma" [];
100 "sets/sets.ma" -> "properties/relations1.ma" [];
101 "sets/sets.ma" -> "sets/setoids1.ma" [];
102 "datatypes/pairs.ma" [];
103 "datatypes/pairs.ma" -> "logic/pts.ma" [];
105 "nat/plus.ma" -> "algebra/abelian_magmas.ma" [];
106 "nat/plus.ma" -> "algebra/unital_magmas.ma" [];
107 "nat/plus.ma" -> "nat/big_ops.ma" [];
109 "nat/order.ma" -> "nat/nat.ma" [];
110 "nat/order.ma" -> "sets/sets.ma" [];
112 "topology/cantor.ma" [];
113 "topology/cantor.ma" -> "nat/nat.ma" [];
114 "topology/cantor.ma" -> "topology/igft.ma" [];
115 "sets/setoids1.ma" [];
116 "sets/setoids1.ma" -> "hints_declaration.ma" [];
117 "sets/setoids1.ma" -> "properties/relations1.ma" [];
118 "sets/setoids1.ma" -> "sets/setoids.ma" [];
119 "sets/setoids2.ma" [];
120 "sets/setoids2.ma" -> "properties/relations2.ma" [];
121 "sets/setoids2.ma" -> "sets/setoids1.ma" [];
123 "nat/big_ops.ma" -> "algebra/magmas.ma" [];
124 "nat/big_ops.ma" -> "nat/order.ma" [];
125 "topology/igft2.ma" [];
126 "topology/igft2.ma" -> "arithmetics/nat.ma" [];
127 "topology/igft2.ma" -> "topology/igft.ma" [];
129 "PTS/subst.ma" -> "basics/list2.ma" [];
130 "topology/igft3.ma" [];
131 "topology/igft3.ma" -> "arithmetics/nat.ma" [];
132 "topology/igft3.ma" -> "datatypes/bool.ma" [];
133 "topology/igft3.ma" -> "topology/igft.ma" [];
134 "properties/relations.ma" [];
135 "properties/relations.ma" -> "logic/pts.ma" [];
137 "basics/eq.ma" -> "basics/relations.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" [];
142 "sets/setoids.ma" [];
143 "sets/setoids.ma" -> "hints_declaration.ma" [];
144 "sets/setoids.ma" -> "logic/connectives.ma" [];
145 "sets/setoids.ma" -> "properties/relations.ma" [];