src/Tools/Spec_Check/gen_construction.ML
2016-04-05 wenzelm 2016-04-05 clarified modules -- simplified bootstrap;
2013-08-23 wenzelm 2013-08-23 clarified position of Spec_Check for Isabelle/ML -- it is unrelated to Isabelle/HOL; just one src/Tools/ROOT;