+ "datatypes/pairs.ma" [];
+ "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" [];
+ "nat/plus.ma" -> "nat/big_ops.ma" [];
+ "nat/minus.ma" [];
+ "nat/minus.ma" -> "nat/order.ma" [];