theory.mma preamble.ma
ext/tactics.mma preamble.ma
ext/arith.mma preamble.ma
types/defs.mma preamble.ma
types/props.mma preamble.ma
blt/defs.mma preamble.ma
blt/props.mma preamble.ma
plist/defs.mma preamble.ma
plist/props.mma preamble.ma