+datatypes/pairs.ma logic/pts.ma
+algebra/abelian_magmas.ma algebra/magmas.ma
+nat/plus.ma algebra/abelian_magmas.ma algebra/unital_magmas.ma nat/big_ops.ma
+nat/minus.ma nat/order.ma
+algebra/magmas.ma sets/sets.ma
+properties/relations1.ma logic/pts.ma
+nat/big_ops.ma algebra/magmas.ma nat/order.ma
+nat/nat.ma hints_declaration.ma logic/equality.ma sets/setoids.ma
+properties/relations.ma logic/pts.ma
+nat/compare.ma datatypes/bool.ma nat/order.ma
+hints_declaration.ma logic/pts.ma