| Wed, 17 Feb 2010 10:00:22 -0800 | huffman | remove $ from all HOLCF files | file | diff | annotate |
| Wed, 25 Jun 2008 22:01:34 +0200 | wenzelm | modernized specifications; | file | diff | annotate |
| Thu, 27 Mar 2008 17:21:41 +0100 | wenzelm | fixed theory imports; | file | diff | annotate |
| Fri, 17 Nov 2006 02:20:03 +0100 | wenzelm | more robust syntax for definition/abbreviation/notation; | file | diff | annotate |
| Sat, 27 May 2006 19:49:07 +0200 | wenzelm | tuned; | file | diff | annotate |
| Fri, 17 Jun 2005 16:12:49 +0200 | haftmann | migrated theory headers to new format | file | diff | annotate |
| Thu, 27 Dec 2001 16:45:19 +0100 | wenzelm | tuned; | file | diff | annotate |
| Sun, 09 Dec 2001 14:35:36 +0100 | kleing | converted to Isar | file | diff | annotate |
| Sat, 01 Dec 2001 18:52:32 +0100 | wenzelm | renamed class "term" to "type" (actually "HOL.type"); | file | diff | annotate |
| Sat, 03 Nov 2001 01:44:45 +0100 | wenzelm | replaced Undef by UU; | file | diff | annotate |
| Tue, 09 Jan 2001 15:36:30 +0100 | nipkow | ` -> $ | file | diff | annotate |
| Wed, 05 Jul 2000 14:26:58 +0200 | oheimb | disambiguated := ; added Examples (factorial) | file | diff | annotate |
| Fri, 24 Jul 1998 13:44:27 +0200 | berghofe | Adapted to new datatype package. | file | diff | annotate |
| Fri, 08 May 1998 10:15:39 +0200 | wenzelm | fixed update syntax; | file | diff | annotate |
| Fri, 10 Oct 1997 19:02:28 +0200 | wenzelm | fixed dots; | file | diff | annotate |
| Wed, 26 Mar 1997 17:58:48 +0100 | nipkow | Added "discrete" CPOs and modified IMP to use those rather than "lift" | file | diff | annotate |
| Mon, 17 Mar 1997 15:37:41 +0100 | nipkow | The HOLCF-based den. sem. of IMP. | file | diff | annotate |