1 preamble.ma datatypes/bool.ma datatypes/constructors.ma logic/connectives.ma
2 Class/eq.ma Class/defs.ma
3 Domain/defs.ma Class/defs.ma
4 Domain/data.ma Domain/defs.ma
5 Subset/defs.ma Domain/defs.ma
6 Class/defs.ma preamble.ma
8 datatypes/constructors.ma