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