src/HOL/Complex_Main.thy
2013-03-26 hoelzl 2013-03-26 move Ln.thy and Log.thy to Transcendental.thy
2013-03-26 hoelzl 2013-03-26 remove Real.thy
2013-03-26 hoelzl 2013-03-26 separate SupInf into Conditional_Complete_Lattice, move instantiation of real to RealDef
2010-12-01 nipkow 2010-12-01 moved activation of coercion inference into RealDef and declared function real a coercion. Made use of it in theory Ln.
2010-12-01 wenzelm 2010-12-01 activate subtyping/coercions in theory Complex_Main;
2010-02-22 hoelzl 2010-02-22 Replaced Integration by Multivariate-Analysis/Real_Integration
2009-10-27 paulson 2009-10-27 New theory SupInf of the supremum and infimum operators for sets of reals.
2009-05-19 haftmann 2009-05-19 moved Code_Index, Random and Quickcheck before Main
2009-05-16 haftmann 2009-05-16 experimental move of Quickcheck and related theories to HOL image
2009-05-15 haftmann 2009-05-15 experimental addition of quickcheck
2009-02-18 huffman 2009-02-18 move FrechetDeriv.thy to Library
2009-02-12 nipkow 2009-02-12 Moved FTA into Lib and cleaned it up a little.
2009-01-02 wenzelm 2009-01-02 tuned header and description of boot files;
2008-12-29 haftmann 2008-12-29 adapted HOL source structure to distribution layout
2008-12-10 nipkow 2008-12-10 moved ContNotDenum into Library
2008-12-03 haftmann 2008-12-03 made repository layout more coherent with logical distribution structure; stripped some $Id$s