
diff -r 2187e3f94761 -r d374530bfaaa 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




