src/HOL/Complex_Main.thy
Tue, 19 May 2009 13:57:51 +0200 haftmann moved Code_Index, Random and Quickcheck before Main
Sat, 16 May 2009 20:16:49 +0200 haftmann experimental move of Quickcheck and related theories to HOL image
Fri, 15 May 2009 16:39:16 +0200 haftmann experimental addition of quickcheck
Wed, 18 Feb 2009 19:51:39 -0800 huffman move FrechetDeriv.thy to Library
Thu, 12 Feb 2009 18:14:43 +0100 nipkow Moved FTA into Lib and cleaned it up a little.
Fri, 02 Jan 2009 00:21:59 +0100 wenzelm tuned header and description of boot files;
Mon, 29 Dec 2008 14:08:08 +0100 haftmann adapted HOL source structure to distribution layout
Wed, 10 Dec 2008 10:23:47 +0100 nipkow moved ContNotDenum into Library
Wed, 03 Dec 2008 15:58:44 +0100 haftmann made repository layout more coherent with logical distribution structure; stripped some $Id$s
less more (0) tip