# HG changeset patch
# User nipkow
# Date 1447673866 -3600
# Node ID 2b3772ecfdec32a5c70e1cad1dbd404d164c4223
# Parent  048ba34613bb7ab1d25d0349c12d3a83b2261d6a
NEWS

diff -r 048ba34613bb -r 2b3772ecfdec NEWS
--- a/NEWS	Sun Nov 15 16:37:03 2015 +0100
+++ b/NEWS	Mon Nov 16 12:37:46 2015 +0100
@@ -546,6 +546,8 @@
 expose low-level facts of the internal construction only if the option
 "function_defs" is enabled. Rare INCOMPATIBILITY.
 
+* Data_Structures: new and growing session of standard data structures.
+
 * Imperative_HOL: obsolete theory Legacy_Mrec has been removed.
 
 * Library/Omega_Words_Fun: Infinite words modeled as functions nat =>