src/HOL/Library/List_lexord.thy
Mon, 21 Jun 2010 09:38:20 +0200 haftmann added bot instances; tuned
Mon, 23 Mar 2009 08:14:24 +0100 haftmann Main is (Complex_Main) base entry point in library theories
Fri, 10 Oct 2008 06:45:53 +0200 haftmann `code func` now just `code`
Fri, 25 Jul 2008 12:03:34 +0200 haftmann added class preorder
Mon, 07 Jul 2008 08:47:17 +0200 haftmann absolute imports of HOL/*.thy theories
Thu, 26 Jun 2008 10:07:01 +0200 haftmann established Plain theory and image
Wed, 02 Jan 2008 15:14:17 +0100 haftmann removed some legacy instantiations
Mon, 10 Dec 2007 11:24:12 +0100 haftmann switched import from Main to List
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
Wed, 14 Feb 2007 10:06:12 +0100 haftmann added class "preorder"
Thu, 25 Jan 2007 09:32:36 +0100 haftmann improved
Wed, 22 Nov 2006 10:20:18 +0100 haftmann added code lemmas
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