--- a/NEWS Wed May 12 09:31:18 2021 +0200
+++ b/NEWS Wed May 12 17:05:28 2021 +0000
@@ -84,8 +84,7 @@
* Dedicated session HOL-Combinatorics. INCOMPATIBILITY: theories
"Permutations", "List_Permutation" (formerly "Permutation"), "Stirling",
"Multiset_Permutations", "Perm" have been moved there from session
-HOL-Library. See theory "Guide" for an overview about existing material
-on basic combinatorics.
+HOL-Library.
* Theory "Permutation" in HOL-Library has been renamed to the more
specific "List_Permutation". Note that most notions from that