src/HOL/Complex/Complex_Main.thy
Mon, 01 Dec 2008 15:36:48 -0800 huffman clean up imports related to ContNotDenum
Thu, 20 Nov 2008 19:43:34 +0100 wenzelm reactivated some dead theories (based on hints by Mark Hillebrand);
Fri, 11 Jul 2008 09:02:23 +0200 haftmann tuned import
Thu, 03 Jul 2008 17:58:10 +0200 huffman removed nonstandard analysis theories to HOL-NSA
Thu, 26 Jun 2008 10:07:01 +0200 haftmann established Plain theory and image
Mon, 25 Feb 2008 11:27:02 +0100 chaieb Now imports Funamental_Theorem_Algebra
Wed, 16 May 2007 23:03:45 +0200 huffman minimize imports
less more (0) -7 tip