src/Pure/General/alist.ML
2007-02-14 haftmann 2007-02-14 cleanup
2006-07-19 haftmann 2006-07-19 added map_default, internal restructuring
2006-07-18 haftmann 2006-07-18 AList.join now with 'DUP' exception
2006-04-24 haftmann 2006-04-24 moved coalesce to AList, added equality predicates to library
2006-02-06 haftmann 2006-02-06 clarified semantics of merge
2006-02-01 haftmann 2006-02-01 added map_entry_yield
2005-12-21 haftmann 2005-12-21 slight refinements
2005-11-14 haftmann 2005-11-14 string_of_alist - convenient q'n'd printout function
2005-10-19 haftmann 2005-10-19 added join
2005-10-05 haftmann 2005-10-05 added merge, tuned
2005-09-20 haftmann 2005-09-20 added make and find
2005-09-19 haftmann 2005-09-19 added make function
2005-08-31 haftmann 2005-08-31 better map_entry
2005-08-28 haftmann 2005-08-28 added alist module