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