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