| Fri, 28 Jun 2002 19:51:19 +0200 | berghofe | Added function prop_of' taking assumption context as an argument. | file | diff | annotate |
| Sat, 11 May 2002 20:27:13 +0200 | berghofe | - Tuned function mk_cnstrts | file | diff | annotate |
| Wed, 06 Feb 2002 14:09:55 +0100 | berghofe | Indexes of variables in expanded proofs are now incremented to avoid clashes. | file | diff | annotate |
| Tue, 18 Dec 2001 02:17:20 +0100 | wenzelm | tuned Type.unify; | file | diff | annotate |
| Mon, 19 Nov 2001 17:39:31 +0100 | berghofe | Moved fastype to Envir. | file | diff | annotate |
| Wed, 31 Oct 2001 19:59:21 +0100 | berghofe | - Tuned add_cnstrt | file | diff | annotate |
| Thu, 04 Oct 2001 00:53:27 +0200 | berghofe | Fixed bug in decompose. | file | diff | annotate |
| Fri, 28 Sep 2001 11:05:37 +0200 | berghofe | - Exchanged % and %% | file | diff | annotate |
| Fri, 31 Aug 2001 18:46:48 +0200 | wenzelm | tuned headers; | file | diff | annotate |
| Fri, 31 Aug 2001 16:17:05 +0200 | berghofe | Initial revision of tools for proof terms. | file | diff | annotate |