+ "nat/order.ma" [];
+ "nat/order.ma" -> "nat/nat.ma" [];
+ "nat/order.ma" -> "sets/sets.ma" [];
+ "algebra/unital_magmas.ma" [];
+ "algebra/unital_magmas.ma" -> "algebra/magmas.ma" [];
+ "sets/partitions.ma" [];
+ "sets/partitions.ma" -> "datatypes/pairs.ma" [];
+ "sets/partitions.ma" -> "nat/compare.ma" [];
+ "sets/partitions.ma" -> "nat/minus.ma" [];
+ "sets/partitions.ma" -> "nat/plus.ma" [];
+ "sets/partitions.ma" -> "sets/sets.ma" [];