Wed, 02 Aug 2000 19:40:14 +0200 | wenzelm | adapted deriv; | file | diff | annotate |
Thu, 27 Jul 2000 18:23:12 +0200 | wenzelm | tuned; | file | diff | annotate |
Wed, 13 Oct 1999 19:41:35 +0200 | wenzelm | system; | file | diff | annotate |
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 |