sets/sets.ma hints_declaration.ma logic/connectives.ma logic/cprop.ma properties/relations1.ma sets/setoids1.ma
logic/pts.ma
nat/order.ma nat/nat.ma sets/sets.ma
nat/plus.ma algebra/abelian_magmas.ma algebra/unital_magmas.ma nat/big_ops.ma
datatypes/pairs.ma logic/pts.ma
sets/sets.ma hints_declaration.ma logic/connectives.ma logic/cprop.ma properties/relations1.ma sets/setoids1.ma
logic/pts.ma
nat/order.ma nat/nat.ma sets/sets.ma
nat/plus.ma algebra/abelian_magmas.ma algebra/unital_magmas.ma nat/big_ops.ma
datatypes/pairs.ma logic/pts.ma