src/Pure/General/alist.ML
Tue, 01 Sep 2009 14:12:18 +0200 haftmann tuned
Wed, 21 Jan 2009 23:21:44 +0100 wenzelm removed Ids;
Wed, 14 Feb 2007 10:06:15 +0100 haftmann cleanup
Wed, 19 Jul 2006 14:16:36 +0200 haftmann added map_default, internal restructuring
Tue, 18 Jul 2006 13:27:59 +0200 haftmann AList.join now with 'DUP' exception
Mon, 24 Apr 2006 16:35:30 +0200 haftmann moved coalesce to AList, added equality predicates to library
Mon, 06 Feb 2006 11:00:06 +0100 haftmann clarified semantics of merge
Wed, 01 Feb 2006 12:22:19 +0100 haftmann added map_entry_yield
Wed, 21 Dec 2005 15:18:57 +0100 haftmann slight refinements
Mon, 14 Nov 2005 15:15:07 +0100 haftmann string_of_alist - convenient q'n'd printout function
Wed, 19 Oct 2005 17:19:37 +0200 haftmann added join
Wed, 05 Oct 2005 18:38:28 +0200 haftmann added merge, tuned
Tue, 20 Sep 2005 08:23:59 +0200 haftmann added make and find
Mon, 19 Sep 2005 16:42:11 +0200 haftmann added make function
Wed, 31 Aug 2005 09:01:45 +0200 haftmann better map_entry
Sun, 28 Aug 2005 09:02:42 +0200 haftmann added alist module
less more (0) tip