# HG changeset patch
# User wenzelm
# Date 1679948270 -7200
# Node ID 6ae930c8914380d8038153da5e936ccad652f28f
# Parent  96a594e5e05429bb8de4042287d84ef25fbb648b
NEWS;

diff -r 96a594e5e054 -r 6ae930c89143 NEWS
--- a/NEWS	Mon Mar 27 22:11:26 2023 +0200
+++ b/NEWS	Mon Mar 27 22:17:50 2023 +0200
@@ -280,6 +280,10 @@
 
 *** ML ***
 
+* Functor Set() provides more compact representation of sets than
+previous Table().set = unit table. See also instances such as structure
+Intset, Symset, Termset.
+
 * Operations ML_Heap.sizeof1 and ML_Heap.sizeof determine the object
 size on the heap in bytes. The latter works simultaneously on multiple
 objects, taking implicit sharing of values into account. Examples for