"datatypes/pairs.ma" -> "logic/pts.ma" [];
"algebra/abelian_magmas.ma" [];
"algebra/abelian_magmas.ma" -> "algebra/magmas.ma" [];
+ "topology/igft-setoid.ma" [];
+ "topology/igft-setoid.ma" -> "sets/sets.ma" [];
"nat/plus.ma" [];
"nat/plus.ma" -> "algebra/abelian_magmas.ma" [];
"nat/plus.ma" -> "algebra/unital_magmas.ma" [];