--- a/src/HOL/Complex_Main.thy Tue Mar 26 12:20:55 2013 +0100 +++ b/src/HOL/Complex_Main.thy Tue Mar 26 12:20:56 2013 +0100 @@ -3,7 +3,6 @@ theory Complex_Main imports Main - Real Complex Log Ln