src/Tools/Spec_Check/Spec_Check.thy
5 months ago wenzelm 2019-01-06 isabelle update -u path_cartouches;
2013-08-23 wenzelm 2013-08-23 more modular setup;
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;