src/Pure/Tools/thy_deps.ML
Thu, 21 Jun 2018 14:49:21 +0200 wenzelm clarified signature;
Mon, 17 Apr 2017 15:08:21 +0200 wenzelm more uniform thy_deps (like class_deps), see also c48d536231fe;
Mon, 04 Apr 2016 17:02:34 +0200 wenzelm clarified bootstrap -- more uniform use of ML files;
Sun, 16 Aug 2015 18:19:30 +0200 wenzelm prefer theory_id operations;
Thu, 16 Apr 2015 17:18:48 +0200 wenzelm formal Theory.check, with markup and completion;
Thu, 16 Apr 2015 15:22:44 +0200 wenzelm discontinued pointless warnings: commands are only defined inside a theory context;
Thu, 16 Apr 2015 13:48:10 +0200 wenzelm clarified thy_deps;
less more (0) tip