--- a/src/HOL/Complex_Main.thy Fri Oct 23 14:33:07 2009 +0200 +++ b/src/HOL/Complex_Main.thy Tue Oct 27 12:59:57 2009 +0000 @@ -4,6 +4,7 @@ imports Main Real + SupInf Complex Log Ln