author | wenzelm |
Thu, 07 Sep 2006 20:12:08 +0200 | |
changeset 20491 | 98ba42f19995 |
parent 20489 | a684fc70d04e |
child 20520 | 05fd007bdeb9 |
permissions | -rw-r--r-- |
(* $Id$ *) theory "ML" imports base begin chapter {* Aesthetics of ML programming *} text {* FIXME style guide, see also \url{http://caml.inria.fr/resources/doc/guides/guidelines.en.html} and \url{http://www.cs.cornell.edu/Courses/cs312/2003sp/handouts/style.htm} *} chapter {* Basic library functions *} text {* FIXME beyond the basis library definition *} chapter {* Cookbook *} section {* A method that depends on declarations in the context *} text FIXME end