logic/connectives.ma logic/pts.ma
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
logic/connectives.ma logic/pts.ma
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