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