src/ZF/IMP/Denotation.thy
Mon, 29 May 2006 21:09:45 +0200 wenzelm proper meta definition;
Mon, 29 May 2006 19:23:04 +0200 wenzelm tuned;
Fri, 17 Jun 2005 16:12:49 +0200 haftmann migrated theory headers to new format
Sat, 29 Dec 2001 18:36:12 +0100 wenzelm tuned document sources;
Fri, 28 Dec 2001 10:11:14 +0100 paulson conversion to Isar/ZF
Mon, 21 May 2001 14:52:04 +0200 paulson X-symbols for set theory
Mon, 28 Dec 1998 16:54:53 +0100 paulson converted to use new primrec section and update operator
Tue, 06 Feb 1996 12:27:17 +0100 clasohm expanded tabs
Sat, 09 Dec 1995 13:36:11 +0100 clasohm removed quotes from consts and syntax sections
Thu, 22 Jun 1995 17:13:05 +0200 clasohm removed \...\ inside strings
Tue, 29 Nov 1994 00:31:31 +0100 lcp replaced "rules" by "defs"
Fri, 12 Aug 1994 10:20:07 +0200 lcp re-organized using new theory sections
Fri, 29 Jul 1994 15:32:17 +0200 nipkow some small simplifications
Thu, 21 Jul 1994 14:27:00 +0200 nipkow Initial revision
less more (0) tip