src/Pure/Tools/thm_deps.ML
Wed, 31 Dec 2014 14:15:52 +0100 wenzelm for graph display, prefer graph data structure over list with dependencies;
Wed, 31 Dec 2014 14:13:11 +0100 wenzelm more explict and generic field names
Wed, 26 Nov 2014 20:05:34 +0100 wenzelm renamed "pairself" to "apply2", in accordance to @{apply 2};
Mon, 03 Nov 2014 14:50:27 +0100 wenzelm eliminated unused int_only flag (see also c12484a27367);
Thu, 21 Aug 2014 22:48:39 +0200 wenzelm tuned signature -- define some elementary operations earlier;
Thu, 14 Aug 2014 10:48:40 +0200 wenzelm tuned signature -- prefer self-contained user-space tool;
less more (0) tip