# HG changeset patch
# User haftmann
# Date 1620839128 0
# Node ID 3708884bfa8aa741a6d74012d9c33c5d2a90b2f3
# Parent  50437744eb1c51f8ddddc9df8b157318f8188540
obsolete

diff -r 50437744eb1c -r 3708884bfa8a NEWS
--- 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