--- a/src/HOL/Complex_Main.thy Fri Apr 02 13:33:48 2010 +0200 +++ b/src/HOL/Complex_Main.thy Wed Apr 07 19:17:10 2010 +0200 @@ -9,7 +9,7 @@ Log Ln Taylor - Integration + Deriv begin end