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 algebra/bool.ma -> logic/connectives.ma [];
9 "overlap/o-algebra.ma" [];
10 overlap/o-algebra.ma -> sets/categories2.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/sums.ma" [];
24 datatypes/sums.ma -> datatypes/pairs.ma [];
25 "logic/destruct_bb.ma" [];
26 logic/destruct_bb.ma -> logic/equality.ma [];
27 "datatypes/bool.ma" [];
28 datatypes/bool.ma -> logic/pts.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 [];
41 "topology/igft.ma" [];
42 topology/igft.ma -> logic/equality.ma [];
43 topology/igft.ma -> sets/sets.ma [];
45 basics/bool.ma -> basics/eq.ma [];
46 basics/bool.ma -> basics/functions.ma [];
47 "algebra/magmas.ma" [];
48 algebra/magmas.ma -> sets/sets.ma [];
50 nat/minus.ma -> nat/order.ma [];
51 "hints_declaration.ma" [];
52 hints_declaration.ma -> logic/pts.ma [];
53 "arithmetics/Z.ma" [];
54 arithmetics/Z.ma -> arithmetics/nat.ma [];
55 "properties/relations1.ma" [];
56 properties/relations1.ma -> logic/pts.ma [];
57 "arithmetics/compare.ma" [];
58 arithmetics/compare.ma -> arithmetics/nat.ma [];
59 "Plogic/equality.ma" [];
60 Plogic/equality.ma -> logic/pts.ma [];
62 "sets/categories.ma" [];
63 sets/categories.ma -> sets/sets.ma [];
64 "properties/relations2.ma" [];
65 properties/relations2.ma -> logic/pts.ma [];
67 PTS/gpts.ma -> PTS/subst.ma [];
68 "algebra/unital_magmas.ma" [];
69 algebra/unital_magmas.ma -> algebra/magmas.ma [];
71 nat/compare.ma -> datatypes/bool.ma [];
72 nat/compare.ma -> nat/order.ma [];
73 "datatypes/list.ma" [];
74 datatypes/list.ma -> arithmetics/nat.ma [];
76 nat/nat.ma -> hints_declaration.ma [];
77 nat/nat.ma -> logic/equality.ma [];
78 nat/nat.ma -> sets/setoids.ma [];
79 "logic/connectives.ma" [];
80 logic/connectives.ma -> logic/pts.ma [];
81 "basics/relations.ma" [];
82 basics/relations.ma -> Plogic/connectives.ma [];
84 basics/list.ma -> basics/bool.ma [];
85 basics/list.ma -> basics/eq.ma [];
86 "sets/categories2.ma" [];
87 sets/categories2.ma -> sets/categories.ma [];
88 sets/categories2.ma -> sets/setoids2.ma [];
89 sets/categories2.ma -> sets/sets.ma [];
90 "topology/igft-setoid.ma" [];
91 topology/igft-setoid.ma -> sets/sets.ma [];
93 basics/list2.ma -> arithmetics/nat.ma [];
94 basics/list2.ma -> basics/list.ma [];
96 sets/sets.ma -> hints_declaration.ma [];
97 sets/sets.ma -> logic/connectives.ma [];
98 sets/sets.ma -> logic/cprop.ma [];
99 sets/sets.ma -> properties/relations1.ma [];
100 sets/sets.ma -> sets/setoids1.ma [];
103 nat/order.ma -> nat/nat.ma [];
104 nat/order.ma -> sets/sets.ma [];
106 nat/plus.ma -> algebra/abelian_magmas.ma [];
107 nat/plus.ma -> algebra/unital_magmas.ma [];
108 nat/plus.ma -> nat/big_ops.ma [];
109 "datatypes/pairs.ma" [];
110 datatypes/pairs.ma -> logic/pts.ma [];
111 "sets/setoids1.ma" [];
112 sets/setoids1.ma -> hints_declaration.ma [];
113 sets/setoids1.ma -> properties/relations1.ma [];
114 sets/setoids1.ma -> sets/setoids.ma [];
115 "topology/cantor.ma" [];
116 topology/cantor.ma -> nat/nat.ma [];
117 topology/cantor.ma -> topology/igft.ma [];
118 "sets/setoids2.ma" [];
119 sets/setoids2.ma -> properties/relations2.ma [];
120 sets/setoids2.ma -> sets/setoids1.ma [];
122 nat/big_ops.ma -> algebra/magmas.ma [];
123 nat/big_ops.ma -> nat/order.ma [];
124 "topology/igft2.ma" [];
125 topology/igft2.ma -> arithmetics/nat.ma [];
126 topology/igft2.ma -> topology/igft.ma [];
127 "properties/relations.ma" [];
128 properties/relations.ma -> logic/pts.ma [];
130 PTS/subst.ma -> basics/list2.ma [];
131 "topology/igft3.ma" [];
132 topology/igft3.ma -> arithmetics/nat.ma [];
133 topology/igft3.ma -> datatypes/bool.ma [];
134 topology/igft3.ma -> topology/igft.ma [];
135 "topology/igft4.ma" [];
136 topology/igft4.ma -> arithmetics/nat.ma [];
137 topology/igft4.ma -> datatypes/bool.ma [];
138 topology/igft4.ma -> topology/igft.ma [];
140 basics/eq.ma -> basics/relations.ma [];
141 "sets/setoids.ma" [];
142 sets/setoids.ma -> hints_declaration.ma [];
143 sets/setoids.ma -> logic/connectives.ma [];
144 sets/setoids.ma -> properties/relations.ma [];