--- a/src/HOL/Library/BigO.thy Fri Aug 20 17:46:56 2010 +0200
+++ b/src/HOL/Library/BigO.thy Fri Aug 20 17:48:30 2010 +0200
@@ -5,7 +5,7 @@
header {* Big O notation *}
theory BigO
-imports Complex_Main SetsAndFunctions
+imports Complex_Main Function_Algebras Set_Algebras
begin
text {*