src/Pure/General/alist.ML
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