--- a/NEWS Thu Jan 19 11:13:52 2023 +0000
+++ b/NEWS Thu Jan 19 13:55:38 2023 +0000
@@ -179,6 +179,9 @@
fimage_strict_mono
wfP_pfsubset
+* Theory "HOL-Library.BigO":
+ - Obsolete, moved to HOL-ex
+
* Theory "HOL-Library.Multiset":
- Strengthened lemmas. Minor INCOMPATIBILITIES.
mult_cancel