src/HOL/Complex_Main.thy
Sun, 31 Jul 2016 19:09:21 +0200 wenzelm clarified imports;
Sun, 31 Jul 2016 18:05:20 +0200 wenzelm simplified theory structure;
Sat, 18 Jul 2015 22:58:50 +0200 wenzelm isabelle update_cartouches;
Sun, 02 Nov 2014 18:21:45 +0100 wenzelm modernized header uniformly as section;
Tue, 26 Mar 2013 12:20:59 +0100 hoelzl move Ln.thy and Log.thy to Transcendental.thy
Tue, 26 Mar 2013 12:20:56 +0100 hoelzl remove Real.thy
Tue, 26 Mar 2013 12:20:52 +0100 hoelzl separate SupInf into Conditional_Complete_Lattice, move instantiation of real to RealDef
Wed, 01 Dec 2010 20:59:29 +0100 nipkow moved activation of coercion inference into RealDef and declared function real a coercion.
Wed, 01 Dec 2010 11:32:24 +0100 wenzelm activate subtyping/coercions in theory Complex_Main;
Mon, 22 Feb 2010 20:41:49 +0100 hoelzl Replaced Integration by Multivariate-Analysis/Real_Integration
Tue, 27 Oct 2009 12:59:57 +0000 paulson New theory SupInf of the supremum and infimum operators for sets of reals.
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