1 sets/sets.ma sets/setoids.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
6 logic/connectives.ma logic/pts.ma
7 algebra/magmas.ma sets/setoids.ma
8 properties/relations1.ma logic/pts.ma
9 properties/relations.ma logic/pts.ma