datatypes/list.ma logic/pts.ma
Plogic/jmeq.ma Plogic/equality.ma
sets/partitions.ma datatypes/pairs.ma nat/compare.ma nat/minus.ma nat/plus.ma sets/sets.ma
topology/igft-setoid.ma sets/sets.ma
sets/setoids.ma hints_declaration.ma logic/connectives.ma properties/relations.ma
properties/relations.ma logic/pts.ma
datatypes/list.ma logic/pts.ma
Plogic/jmeq.ma Plogic/equality.ma
sets/partitions.ma datatypes/pairs.ma nat/compare.ma nat/minus.ma nat/plus.ma sets/sets.ma
topology/igft-setoid.ma sets/sets.ma
sets/setoids.ma hints_declaration.ma logic/connectives.ma properties/relations.ma
properties/relations.ma logic/pts.ma