1 (* ID: $Id$ *)
1 theory Examples = Main:
2 theory Examples = Main:
2
3
3 ML "reset eta_contract"
4 ML "reset eta_contract"
4 ML "Pretty.setmargin 64"
5 ML "Pretty.setmargin 64"
5
6