| Fri, 10 Oct 2008 06:45:53 +0200 | haftmann | `code func` now just `code` | file | diff | annotate |
| Tue, 16 Sep 2008 09:21:24 +0200 | haftmann | evaluation using code generator | file | diff | annotate |
| Mon, 07 Jul 2008 08:47:17 +0200 | haftmann | absolute imports of HOL/*.thy theories | file | diff | annotate |
| Thu, 26 Jun 2008 10:07:01 +0200 | haftmann | established Plain theory and image | file | diff | annotate |
| Tue, 22 Apr 2008 08:33:16 +0200 | haftmann | constant HOL.eq now qualified | file | diff | annotate |
| Wed, 02 Apr 2008 15:58:32 +0200 | haftmann | explicit class "eq" for operational equality | file | diff | annotate |
| Mon, 10 Dec 2007 11:24:12 +0100 | haftmann | switched import from Main to List | file | diff | annotate |
| Mon, 27 Aug 2007 11:34:14 +0200 | haftmann | added explicit equation for equality of nested environments | file | diff | annotate |
| Thu, 14 Jun 2007 23:04:39 +0200 | wenzelm | tuned proofs; | file | diff | annotate |
| Mon, 11 Sep 2006 21:35:19 +0200 | wenzelm | induct method: renamed 'fixing' to 'arbitrary'; | file | diff | annotate |
| Wed, 04 Jan 2006 19:22:53 +0100 | nipkow | Reversed Larry's option/iff change. | file | diff | annotate |
| Wed, 21 Dec 2005 12:02:57 +0100 | paulson | removed or modified some instances of [iff] | file | diff | annotate |
| Thu, 10 Nov 2005 21:14:05 +0100 | wenzelm | tuned proofs; | file | diff | annotate |
| Wed, 18 Aug 2004 11:09:40 +0200 | nipkow | import -> imports | file | diff | annotate |
| Mon, 16 Aug 2004 14:22:27 +0200 | nipkow | New theory header syntax. | file | diff | annotate |
| Mon, 21 Jun 2004 10:25:57 +0200 | kleing | Merged in license change from Isabelle2004 | file | diff | annotate |
| Thu, 06 May 2004 14:14:18 +0200 | wenzelm | tuned document; | file | diff | annotate |
| Tue, 16 Oct 2001 17:58:13 +0200 | wenzelm | tuned induction proofs; | file | diff | annotate |
| Sat, 20 Jan 2001 00:35:35 +0100 | wenzelm | tuned; | file | diff | annotate |
| Fri, 19 Jan 2001 23:53:07 +0100 | wenzelm | added HOL/Library/Nested_Environment.thy; | file | diff | annotate |