NEWS
changeset 73937 3708884bfa8a
parent 73928 7404f2e1d092
child 73938 78044b2f001c
--- 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