(* $Id$ *) theory "ML" imports base begin chapter {* Aesthetics of ML programming *} text {* FIXME style guide *} chapter {* Basic library functions *} text {* FIXME beyond the basis library definition *} end