--- 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 ***