src/HOL/Library/Product_ord.thy
Wed, 06 May 2009 09:08:47 +0200 haftmann compatible with preorder; bot and top instances
Fri, 27 Mar 2009 10:05:11 +0100 haftmann normalized imports
Fri, 10 Oct 2008 06:45:53 +0200 haftmann `code func` now just `code`
Tue, 07 Oct 2008 16:07:24 +0200 haftmann code generator more liberal with respect to sort constraints of instance parameters
Thu, 26 Jun 2008 10:07:01 +0200 haftmann established Plain theory and image
Mon, 26 May 2008 17:55:34 +0200 haftmann tuned theorem order
Tue, 18 Dec 2007 14:37:00 +0100 haftmann switched from PreList to ATP_Linkup
Mon, 10 Dec 2007 11:24:09 +0100 haftmann switched import from Main to PreList
Fri, 07 Dec 2007 15:07:59 +0100 haftmann instantiation target rather than legacy instance
Thu, 29 Nov 2007 17:08:26 +0100 haftmann instance command as rudimentary class target
Sun, 06 May 2007 21:50:17 +0200 haftmann changed code generator invocation syntax
Fri, 20 Apr 2007 11:21:42 +0200 haftmann Isar definitions are now added explicitly to code theorem table
Tue, 20 Mar 2007 15:52:40 +0100 haftmann added instance for lattice
Thu, 25 Jan 2007 09:32:36 +0100 haftmann improved
Wed, 22 Nov 2006 10:20:18 +0100 haftmann added code lemmas
Sat, 27 May 2006 17:42:02 +0200 wenzelm tuned;
Wed, 31 Aug 2005 15:46:37 +0200 wenzelm tuned presentation;
Fri, 15 Apr 2005 14:14:24 +0200 nipkow New
less more (0) tip