| Sat, 03 Nov 2001 18:49:40 +0100 | berghofe | Fixed bug in function add_npvars. | file | diff | annotate |
| Wed, 31 Oct 2001 19:41:29 +0100 | berghofe | Tuned function thm_proof. | file | diff | annotate |
| Wed, 10 Oct 2001 18:37:52 +0200 | berghofe | Tuned several functions to improve sharing of unchanged subproofs. | file | diff | annotate |
| Wed, 03 Oct 2001 11:45:24 +0200 | paulson | eta-expansion required for SML/NJ | file | diff | annotate |
| Fri, 28 Sep 2001 11:08:53 +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 22:44:44 +0200 | wenzelm | fixed header; | file | diff | annotate |
| Fri, 31 Aug 2001 16:13:36 +0200 | berghofe | New implementation of LF style proof terms. | file | diff | annotate |