1
1 Main = Map + String (*theory Main includes everything*)
2 (*theory Main includes everything*)
3
4 Main = NatBin + Map + Recdef + Record + RelPow + Sexp + String + Calculation +
5 SVC_Oracle