src/HOL/Library/Code_Index.thy
Mon, 21 Jan 2008 08:43:27 +0100 haftmann tuned code setup
Tue, 15 Jan 2008 16:19:21 +0100 haftmann tuned
Wed, 02 Jan 2008 15:14:23 +0100 haftmann index now a copy of nat rather than int
Tue, 18 Dec 2007 14:37:00 +0100 haftmann switched from PreList to ATP_Linkup
Thu, 29 Nov 2007 17:08:26 +0100 haftmann instance command as rudimentary class target
Thu, 08 Nov 2007 13:21:12 +0100 haftmann duv, mod, int conversion
Fri, 12 Oct 2007 10:26:18 +0200 haftmann added
less more (0) tip