ROOTS
2013-08-23 wenzelm clarified position of Spec_Check for Isabelle/ML -- it is unrelated to Isabelle/HOL;
2012-08-28 wenzelm renamed doc-src to src/Doc;
2012-08-19 wenzelm fewer components, more roots;
less more (0) tip