src/HOL/Library/Library.thy

--- a/src/HOL/Library/Library.thy	Mon Jul 25 15:51:30 2005 +0200
+++ b/src/HOL/Library/Library.thy	Mon Jul 25 18:54:49 2005 +0200
@@ -2,6 +2,7 @@
 theory Library
 imports
   Accessible_Part
+  BigO
   Continuity
   EfficientNat
   FuncSet