equal
deleted
inserted
replaced
1 |
1 |
2 (*theory Main includes everything*) |
2 (*theory Main includes everything*) |
3 |
3 |
4 Main = Bin + Map + Recdef + Record + RelPow + Sexp + String + Calculation |
4 Main = IntDiv + Map + Recdef + Record + RelPow + Sexp + String + Calculation |