1 (* ID: $Id$ *)
2 theory Numbers
1 theory Numbers
3 imports Complex_Main
2 imports Complex_Main
4 begin
3 begin
5
4
6 ML "Pretty.setmargin 64"
5 ML "Pretty.setmargin 64"