| Wed, 03 Aug 2005 16:28:22 +0200 | berghofe | Adapted to new argument format of MinProof constructor. | file | diff | annotate |
| Tue, 19 Jul 2005 20:47:01 +0200 | wenzelm | Inttab.defined; | file | diff | annotate |
| Sun, 05 Jun 2005 11:31:32 +0200 | wenzelm | File.isatool, File.shell_path; | file | diff | annotate |
| Thu, 03 Mar 2005 12:43:01 +0100 | skalberg | Move towards standard functions. | file | diff | annotate |
| Sun, 13 Feb 2005 17:15:14 +0100 | skalberg | Deleted Library.option type. | file | diff | annotate |
| Mon, 21 Jun 2004 10:25:57 +0200 | kleing | Merged in license change from Isabelle2004 | file | diff | annotate |
| 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 |