1 class_eq.ma class_defs.ma
2 domain_defs.ma class_defs.ma
3 coa_props.ma coa_defs.ma
4 class_defs.ma logic/connectives.ma
5 domain_data.ma datatypes/bool.ma datatypes/constructors.ma domain_defs.ma
6 subset_defs.ma domain_defs.ma
7 coa_defs.ma domain_data.ma iff.ma
8 iff.ma ../../library/logic/connectives.ma
9 ../../library/logic/connectives.ma
11 datatypes/constructors.ma