# HG changeset patch
# User haftmann
# Date 1126771201 -7200
# Node ID 41f1249bce372230ee58fa9eedefc9b3b9466f79
# Parent  9147c880ada66afaae0bb92c45fb6eea6c37e0d1
AList, the_*

diff -r 9147c880ada6 -r 41f1249bce37 NEWS
--- a/NEWS	Thu Sep 15 08:16:22 2005 +0200
+++ b/NEWS	Thu Sep 15 10:00:01 2005 +0200
@@ -76,7 +76,7 @@
 default settings produce ''document'' and ''outline'' versions as
 specified above.
 
-* Several new antiquotation:
+* Several new antiquotations:
 
   @{term_type term} prints a term with its type annotated;
 
@@ -578,6 +578,21 @@
 * Pure: structure OrdList (cf. Pure/General/ord_list.ML) provides a
 reasonably efficient light-weight implementation of sets as lists.
 
+* Pure: structure AList (cf. Pure/General/alist.ML) superseedes the
+former associaton list functions in library. INCOMPATIBILITY.
+Naive rewrites:
+
+  assoc == uncurry (AList.lookup (op =))
+  assocs == these oo AList.lookup (op =)
+  overwrite == uncurry (AList.update (op =)) o swap
+
+* Pure: new functions in the family of normalisators for the option type:
+
+  the:               'a option -> 'a
+  these:             'a option -> 'a where 'a = 'b list
+  the_default: 'a -> 'a option -> 'a
+  the_list:          'a option -> 'a list
+
 * Pure: more efficient orders for basic syntactic entities: added
 fast_string_ord, fast_indexname_ord, fast_term_ord; changed sort_ord
 and typ_ord to use fast_string_ord and fast_indexname_ord (term_ord is