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