NEWS
changeset 61685 2b3772ecfdec
parent 61682 f2c69a221055
child 61694 6571c78c9667
     1.1 --- a/NEWS	Sun Nov 15 16:37:03 2015 +0100
     1.2 +++ b/NEWS	Mon Nov 16 12:37:46 2015 +0100
     1.3 @@ -546,6 +546,8 @@
     1.4  expose low-level facts of the internal construction only if the option
     1.5  "function_defs" is enabled. Rare INCOMPATIBILITY.
     1.6  
     1.7 +* Data_Structures: new and growing session of standard data structures.
     1.8 +
     1.9  * Imperative_HOL: obsolete theory Legacy_Mrec has been removed.
    1.10  
    1.11  * Library/Omega_Words_Fun: Infinite words modeled as functions nat =>