diff -r e2f43d3919c2 -r ab905b5bb206 src/HOL/Library/Library.thy
--- a/src/HOL/Library/Library.thy	Thu Jan 19 11:13:52 2023 +0000
+++ b/src/HOL/Library/Library.thy	Thu Jan 19 13:55:38 2023 +0000
@@ -3,7 +3,6 @@
 imports
   AList
   Adhoc_Overloading
-  BigO
   BNF_Axiomatization
   BNF_Corec
   Bourbaki_Witt_Fixpoint