1
2
(* $Id$ *)
3
4
theory "ML" imports base begin
5
6
chapter {* Aesthetics of ML programming *}
7
8
text {* FIXME style guide *}
9
10
11
chapter {* Basic library functions *}
12
13
text {* FIXME beyond the basis library definition *}
14
15
end