-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
+preamble.ma datatypes/bool.ma datatypes/constructors.ma logic/connectives.ma
+Class/eq.ma Class/defs.ma
+Domain/defs.ma Class/defs.ma
+Domain/data.ma Domain/defs.ma
+Subset/defs.ma Domain/defs.ma
+Class/defs.ma preamble.ma