| Fri, 09 Mar 2007 08:45:58 +0100 | haftmann | resolved name clashes | file | diff | annotate |
| Mon, 11 Dec 2006 16:06:14 +0100 | berghofe | Adapted to new inductive definition package. | file | diff | annotate |
| Fri, 05 May 2006 17:17:21 +0200 | krauss | First usable version of the new function definition package (HOL/function_packake/...). | file | diff | annotate |
| Fri, 17 Jun 2005 16:12:49 +0200 | haftmann | migrated theory headers to new format | 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 20:43:30 +0200 | schirmer | tuned HOL/record package; enabled record_upd_simproc by default. | file | diff | annotate |
| Mon, 03 May 2004 23:22:17 +0200 | schirmer | reimplementation of HOL records; only one type is created for | file | diff | annotate |