(*theory Main includes everything*) Main = IntDiv + Map + Recdef + Record + RelPow + Sexp + String + Calculation