src/HOL/Library/List_lexord.thy
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