src/HOL/IMP/Denotation.thy
Fri, 13 Oct 2006 18:15:18 +0200 berghofe Adapted to changes in FixedPoint theory.
Mon, 11 Sep 2006 21:35:19 +0200 wenzelm induct method: renamed 'fixing' to 'arbitrary';
Thu, 08 Dec 2005 20:15:50 +0100 wenzelm tuned proofs;
Fri, 17 Jun 2005 16:12:49 +0200 haftmann migrated theory headers to new format
Tue, 01 Feb 2005 18:01:57 +0100 paulson the new subst tactic, by Lucas Dixon
Sun, 09 Dec 2001 15:26:13 +0100 kleing tuned
Sun, 09 Dec 2001 14:35:36 +0100 kleing converted to Isar
Tue, 04 Jul 2000 10:54:46 +0200 oheimb disambiguated := ; added Examples (factorial)
Fri, 02 Oct 1998 14:28:39 +0200 nipkow id <-> Id
Fri, 24 Jul 1998 13:03:20 +0200 berghofe Adapted to new datatype package.
Wed, 06 May 1998 11:46:00 +0200 nipkow Changed [/] to [:=] and removed actual definition.
Sun, 30 Mar 1997 13:40:38 +0200 nipkow Replaced (s,t) : id by s=t.
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
Fri, 03 Mar 1995 12:04:16 +0100 clasohm new version of HOL/IMP with curried function application
less more (0) tip