# HG changeset patch
# User eberlm <eberlm@in.tum.de>
# Date 1475829921 -7200
# Node ID 7dccbbd8d71d6007ed2afc03b2f7971f50c38477
# Parent  cffd5f5372062d5b4afb8eed1f821f1d2ec25db5
Set_Permutations -> Multiset_Permutations in NEWS

diff -r cffd5f537206 -r 7dccbbd8d71d NEWS
--- a/NEWS	Fri Oct 07 10:31:34 2016 +0200
+++ b/NEWS	Fri Oct 07 10:45:21 2016 +0200
@@ -429,9 +429,9 @@
 "unbundle finfun_syntax" to imitate import of
 "~~/src/HOL/Library/FinFun_Syntax".
 
-* HOL-Library: theory Set_Permutations (executably) defines the set of
-permutations of a set, i.e. the set of all lists that contain every
-element of the carrier set exactly once.
+* HOL-Library: theory Multiset_Permutations (executably) defines the set of
+permutations of a given set or multiset, i.e. the set of all lists that 
+contain every element of the carrier (multi-)set exactly once.
 
 * HOL-Library: multiset membership is now expressed using set_mset
 rather than count.