| Fri, 03 Nov 2000 21:27:06 +0100 | wenzelm | improved handling of "that": insert into goal, only declare as Pure "intro"; | file | diff | annotate |
| Mon, 31 Jul 2000 14:37:18 +0200 | wenzelm | tuned; | file | diff | annotate |
| Sun, 30 Jul 2000 12:54:07 +0200 | wenzelm | turned into plain context element; | file | diff | annotate |
| Thu, 13 Jul 2000 11:39:22 +0200 | wenzelm | bind_skolem; | file | diff | annotate |
| Fri, 05 May 2000 22:09:41 +0200 | wenzelm | GPLed; | file | diff | annotate |
| Thu, 30 Mar 2000 14:24:46 +0200 | wenzelm | ProofContext.find_free; | file | diff | annotate |
| Tue, 21 Mar 2000 00:18:54 +0100 | wenzelm | handle general case: params and hyps of thesis; | file | diff | annotate |
| Thu, 06 Jan 2000 16:00:18 +0100 | wenzelm | obtain: renamed 'in' to 'where'; | file | diff | annotate |
| Wed, 05 Jan 2000 11:45:01 +0100 | wenzelm | ObtainFun; | file | diff | annotate |
| Fri, 22 Oct 1999 21:48:50 +0200 | wenzelm | warn_extra_tfrees; | file | diff | annotate |
| Fri, 01 Oct 1999 20:38:16 +0200 | wenzelm | tuned comment; | file | diff | annotate |
| Fri, 01 Oct 1999 20:36:53 +0200 | wenzelm | The 'obtain' language element -- achieves (eliminated) existential | file | diff | annotate |