3 "sets/sets.ma" -> "logic/equality.ma" [];
5 "sets/setoids1.ma" -> "sets/setoids.ma" [];
7 "sets/setoids.ma" -> "logic/connectives.ma" [];
8 "sets/setoids.ma" -> "properties/relations.ma" [];
9 "logic/equality.ma" [];
10 "logic/equality.ma" -> "logic/connectives.ma" [];
11 "logic/connectives.ma" [];
12 "logic/connectives.ma" -> "logic/pts.ma" [];
13 "algebra/magmas.ma" [];
14 "algebra/magmas.ma" -> "sets/sets.ma" [];
15 "properties/relations.ma" [];
16 "properties/relations.ma" -> "logic/pts.ma" [];