src/Pure/Thy/thm_deps.ML
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.