src/Pure/Tools/thy_deps.ML
2017-04-17 wenzelm 2017-04-17 more uniform thy_deps (like class_deps), see also c48d536231fe;
2016-04-04 wenzelm 2016-04-04 clarified bootstrap -- more uniform use of ML files;
2015-08-16 wenzelm 2015-08-16 prefer theory_id operations; tuned signature;
2015-04-16 wenzelm 2015-04-16 formal Theory.check, with markup and completion;
2015-04-16 wenzelm 2015-04-16 discontinued pointless warnings: commands are only defined inside a theory context;
2015-04-16 wenzelm 2015-04-16 clarified thy_deps;