| Fri, 17 Jun 2005 16:12:49 +0200 | haftmann | migrated theory headers to new format | 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 |
| Tue, 04 Jul 2000 10:54:46 +0200 | oheimb | disambiguated := ; added Examples (factorial) | file | diff | annotate |
| Wed, 24 Nov 1999 12:12:36 +0100 | nipkow | Basis now Main. | file | diff | annotate |
| Fri, 24 Jul 1998 13:03:20 +0200 | berghofe | Adapted to new datatype package. | file | diff | annotate |
| Sat, 27 Apr 1996 18:47:31 +0200 | nipkow | A completely new version of IMP. | file | diff | annotate |