--- a/src/HOL/Complex_Main.thy Tue May 19 13:57:32 2009 +0200 +++ b/src/HOL/Complex_Main.thy Tue May 19 13:57:51 2009 +0200 @@ -9,7 +9,6 @@ Ln Taylor Integration - Quickcheck begin end