(*theory Main includes everything*) theory Main = CTT + Arith + Bool: end