changeset 73878 4dc3baf45d6a
parent 73872 b0ea03e837b1
child 73879 5020054b3a16
--- a/NEWS	Tue May 04 17:57:16 2021 +0000
+++ b/NEWS	Wed May 05 16:09:02 2021 +0000
@@ -83,9 +83,9 @@
 * Dedicated session HOL-Combinatorics.  INCOMPATIBILITY: theories
 "Permutations", "List_Permutation" (formerly "Permutation"), "Stirling",
-"Multiset_Permutations"  have been
-moved there from session HOL-Library.  See theory "Guide" for an
-overview about existing material on basic combinatorics.
+"Multiset_Permutations", "Perm" have been moved there from session
+HOL-Library.  See theory "Guide" for an overview about existing material
+on basic combinatorics.
 * Theory "Permutation" in HOL-Library has been renamed to the more
 specific "List_Permutation".  Note that most notions from that