1 sets/sets.ma logic/connectives.ma logic/cprop.ma properties/relations1.ma sets/setoids1.ma
2 logic/cprop.ma sets/setoids1.ma
3 sets/setoids1.ma properties/relations1.ma sets/setoids.ma
4 sets/setoids.ma logic/connectives.ma properties/relations.ma
5 logic/equality.ma logic/connectives.ma properties/relations.ma
6 logic/connectives.ma logic/pts.ma
7 nat/plus.ma algebra/magmas.ma nat/nat.ma
8 algebra/magmas.ma sets/sets.ma
9 nat/nat.ma logic/equality.ma sets/setoids.ma
10 properties/relations1.ma logic/pts.ma
11 properties/relations.ma logic/pts.ma