| Wed, 13 Jun 2007 18:30:11 +0200 | wenzelm | tuned proofs: avoid implicit prems; | file | diff | annotate |
| Thu, 29 Mar 2007 14:21:45 +0200 | haftmann | dropped legacy ML bindings | file | diff | annotate |
| Wed, 06 Dec 2006 01:12:36 +0100 | wenzelm | removed legacy ML bindings; | file | diff | annotate |
| Fri, 17 Nov 2006 02:20:03 +0100 | wenzelm | more robust syntax for definition/abbreviation/notation; | file | diff | annotate |
| Wed, 13 Sep 2006 12:05:50 +0200 | krauss | Major update to function package, including new syntax and the (only theoretical) | file | diff | annotate |
| Mon, 11 Sep 2006 21:35:19 +0200 | wenzelm | induct method: renamed 'fixing' to 'arbitrary'; | file | diff | annotate |
| Mon, 29 May 2006 19:23:04 +0200 | wenzelm | tuned; | file | diff | annotate |
| Sat, 27 May 2006 17:42:02 +0200 | wenzelm | tuned; | file | diff | annotate |
| Sun, 09 Apr 2006 18:51:13 +0200 | wenzelm | tuned syntax/abbreviations; | file | diff | annotate |
| Mon, 11 Oct 2004 07:42:22 +0200 | nipkow | Proofs needed to be updated because induction now preserves name of | file | diff | annotate |
| Wed, 18 Aug 2004 11:09:40 +0200 | nipkow | import -> imports | file | diff | annotate |
| Mon, 21 Jun 2004 10:25:57 +0200 | kleing | Merged in license change from Isabelle2004 | file | diff | annotate |
| Tue, 01 Apr 2003 17:43:10 +0200 | nipkow | Made empty a translation rather than a constant. | file | diff | annotate |
| Mon, 30 Sep 2002 16:14:02 +0200 | berghofe | Adapted to new simplifier. | file | diff | annotate |
| Tue, 27 Aug 2002 15:40:33 +0200 | wenzelm | avoid duplicate fact bindings; | file | diff | annotate |
| Tue, 26 Feb 2002 21:57:13 +0100 | wenzelm | tuned; | file | diff | annotate |
| Tue, 26 Feb 2002 00:21:31 +0100 | wenzelm | tuned; | file | diff | annotate |
| Tue, 26 Feb 2002 00:19:04 +0100 | wenzelm | converted; | file | diff | annotate |