src/HOL/IMP/Com.thy
Fri, 17 Jun 2005 16:12:49 +0200 haftmann migrated theory headers to new format
Sun, 09 Dec 2001 14:35:36 +0100 kleing converted to Isar
Sat, 01 Dec 2001 18:52:32 +0100 wenzelm renamed class "term" to "type" (actually "HOL.type");
Tue, 04 Jul 2000 10:54:46 +0200 oheimb disambiguated := ; added Examples (factorial)
Wed, 24 Nov 1999 12:12:36 +0100 nipkow Basis now Main.
Fri, 24 Jul 1998 13:03:20 +0200 berghofe Adapted to new datatype package.
Sat, 27 Apr 1996 18:47:31 +0200 nipkow A completely new version of IMP.
Wed, 07 Feb 1996 12:22:32 +0100 nipkow Modified datatype com.
Mon, 05 Feb 1996 21:29:06 +0100 clasohm expanded tabs; incorporated Konrad's changes
Wed, 29 Nov 1995 17:01:41 +0100 clasohm removed quotes from consts and syntax sections
Wed, 21 Jun 1995 15:47:10 +0200 clasohm removed \...\ inside strings
Tue, 28 Mar 1995 12:25:20 +0200 clasohm changed syntax of datatype declarations (curried types for constructor
Fri, 24 Mar 1995 12:30:35 +0100 clasohm changed syntax of tuples from <..., ...> to (..., ...)
Mon, 20 Mar 1995 15:35:28 +0100 clasohm changed syntax of "if"
Fri, 03 Mar 1995 12:04:16 +0100 clasohm new version of HOL/IMP with curried function application
less more (0) tip