diff -r 6bc0dda66f32 -r 1f7c69a5faac NEWS
--- a/NEWS	Mon Mar 13 00:09:23 2006 +0100
+++ b/NEWS	Mon Mar 13 10:41:04 2006 +0100
@@ -390,6 +390,8 @@
 * Library: added theory Coinductive_List of potentially infinite lists
 as greatest fixed-point.
 
+* Library: added theory AssocList which implements (finite) maps as 
+association lists.
 
 *** ML ***