--- a/src/HOL/Complex_Main.thy Wed Mar 04 10:43:39 2009 +0100 +++ b/src/HOL/Complex_Main.thy Wed Mar 04 10:45:52 2009 +0100 @@ -9,7 +9,6 @@ Ln Taylor Integration - FrechetDeriv begin end