1
2 (*theory Main includes everything*)
3
4 Main = Update + Map + Record + Bin + RelPow + Sexp + String + Recdef
4 Main = Map + Record + Bin + RelPow + Sexp + String + Recdef