Thu, 07 Oct 1999 15:40:32 +0200 | berghofe | Replaced update_new by update. | file | diff | annotate |
Thu, 07 Oct 1999 14:44:55 +0200 | berghofe | Added functions for enabling and disabling derivations. | file | diff | annotate |
Thu, 07 Oct 1999 14:32:18 +0200 | wenzelm | $ISATOOL; | file | diff | annotate |
Thu, 07 Oct 1999 11:36:39 +0200 | berghofe | New function thm_deps for visualizing dependencies of theorems. | file | diff | annotate |