| Wed, 10 Oct 2001 18:40:46 +0200 | berghofe | Removed unnecessary application of Drule.standard. | file | diff | annotate |
| Mon, 13 Nov 2000 22:01:07 +0100 | wenzelm | tuned statement args; | file | diff | annotate |
| Sun, 30 Jul 2000 12:53:22 +0200 | wenzelm | local_def(_i): no constraint on var; | file | diff | annotate |
| Thu, 13 Jul 2000 23:18:36 +0200 | wenzelm | use ProofContext.bind_skolem; | file | diff | annotate |
| Thu, 13 Jul 2000 11:40:49 +0200 | wenzelm | prep rhs in original context; | file | diff | annotate |
| Fri, 05 May 2000 22:09:41 +0200 | wenzelm | GPLed; | file | diff | annotate |
| Wed, 05 Jan 2000 11:43:09 +0100 | wenzelm | prepare patterns only once; | file | diff | annotate |
| Thu, 30 Sep 1999 21:23:08 +0200 | wenzelm | local_def_i: typ option; | file | diff | annotate |
| Tue, 07 Sep 1999 16:56:47 +0200 | wenzelm | tuned; | file | diff | annotate |
| Wed, 01 Sep 1999 21:16:23 +0200 | wenzelm | Thm.def_name; | file | diff | annotate |
| Wed, 18 Aug 1999 20:45:52 +0200 | wenzelm | assume: multiple args; | file | diff | annotate |
| Tue, 13 Jul 1999 13:54:08 +0200 | wenzelm | handle cgoal; | file | diff | annotate |
| Fri, 09 Jul 1999 18:48:54 +0200 | wenzelm | added Isar/local_defs.ML; | file | diff | annotate |