"sets/sets.ma" -> "properties/relations1.ma" [];
"sets/sets.ma" -> "sets/setoids1.ma" [];
"topology/igft.ma" [];
+ "topology/igft.ma" -> "logic/equality.ma" [];
"topology/igft.ma" -> "sets/sets.ma" [];
"datatypes/bool.ma" [];
"datatypes/bool.ma" -> "logic/pts.ma" [];
"logic/connectives.ma" [];
"logic/connectives.ma" -> "logic/pts.ma" [];
"topology/cantor.ma" [];
+ "topology/cantor.ma" -> "nat/nat.ma" [];
"topology/cantor.ma" -> "topology/igft.ma" [];
"datatypes/pairs.ma" [];
"datatypes/pairs.ma" -> "logic/pts.ma" [];