src/Pure/Thy/thm_deps.ML
2008-04-16 wenzelm 2008-04-16 removed obsolete BASIC_THM_DEPS; unused_thms: simplified signature, use proper PureThy.facts_of; misc tuning;
2008-02-28 berghofe 2008-02-28 Added function for finding unused theorems.
2008-02-25 wenzelm 2008-02-25 thm_deps: sort result;
2007-09-08 wenzelm 2007-09-08 Present.session_name;
2006-12-15 wenzelm 2006-12-15 avoid conflict with Alice keywords: renamed pack -> implode, unpack -> explode, any -> many, avoided assert;
2006-12-05 wenzelm 2006-12-05 thm/prf: separate official name vs. additional tags;
2006-10-04 haftmann 2006-10-04 insert replacing ins ins_int ins_string
2006-09-21 wenzelm 2006-09-21 member (op =);
2006-09-18 wenzelm 2006-09-18 Present.display_graph;
2006-01-27 wenzelm 2006-01-27 moved theorem tags from Drule to PureThy;
2005-09-15 wenzelm 2005-09-15 TableFun/Symtab: curried lookup and update;
2005-09-01 wenzelm 2005-09-01 curried_lookup/update;
2005-08-03 berghofe 2005-08-03 Adapted to new argument format of MinProof constructor.
2005-07-19 wenzelm 2005-07-19 Inttab.defined;
2005-06-05 wenzelm 2005-06-05 File.isatool, File.shell_path;
2005-03-03 skalberg 2005-03-03 Move towards standard functions.
2005-02-13 skalberg 2005-02-13 Deleted Library.option type.
2004-06-21 kleing 2004-06-21 Merged in license change from Isabelle2004
2002-08-27 wenzelm 2002-08-27 Thm.proof_of;
2001-11-19 berghofe 2001-11-19 Now handles different theorems with same name more gracefully.
2001-10-17 wenzelm 2001-10-17 tuned comments;
2001-09-28 berghofe 2001-09-28 Exchanged % and %%.
2001-09-01 wenzelm 2001-09-01 renamed `keep_derivs' to `proofs', and made an integer;
2001-08-31 berghofe 2001-08-31 Adapted to new proof terms.
2000-08-02 wenzelm 2000-08-02 adapted deriv;
2000-07-27 wenzelm 2000-07-27 tuned;
1999-10-13 wenzelm 1999-10-13 system;
1999-10-07 berghofe 1999-10-07 Replaced update_new by update.
1999-10-07 berghofe 1999-10-07 Added functions for enabling and disabling derivations.
1999-10-07 wenzelm 1999-10-07 $ISATOOL;
1999-10-07 berghofe 1999-10-07 New function thm_deps for visualizing dependencies of theorems.