class_eq.ma class_defs.ma
domain_defs.ma class_defs.ma
coa_props.ma coa_defs.ma
class_defs.ma logic/connectives.ma
domain_data.ma datatypes/bool.ma datatypes/constructors.ma domain_defs.ma
subset_defs.ma domain_defs.ma
coa_defs.ma domain_data.ma iff.ma
iff.ma ../../library/logic/connectives.ma
../../library/logic/connectives.ma 
datatypes/bool.ma 
datatypes/constructors.ma 
logic/connectives.ma