| Tue, 27 Aug 2002 11:06:20 +0200 | wenzelm | Thm.proof_of; | file | diff | annotate |
| Mon, 19 Nov 2001 17:42:00 +0100 | berghofe | Now handles different theorems with same name more gracefully. | file | diff | annotate |
| Wed, 17 Oct 2001 18:52:30 +0200 | wenzelm | tuned comments; | file | diff | annotate |
| Fri, 28 Sep 2001 11:04:44 +0200 | berghofe | Exchanged % and %%. | file | diff | annotate |
| Sat, 01 Sep 2001 00:14:16 +0200 | wenzelm | renamed `keep_derivs' to `proofs', and made an integer; | file | diff | annotate |
| Fri, 31 Aug 2001 16:25:53 +0200 | berghofe | Adapted to new proof terms. | file | diff | annotate |
| 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 |