History log of /seL4-l4v-master/isabelle/src/Pure/General/alist.ML
Revision Date Author Comments
# bcfc07da 01-Sep-2009 haftmann <none@none>

tuned
# 1bd59ac7 21-Jan-2009 wenzelm <none@none>

removed Ids;
# 9a7c2bb3 14-Feb-2007 haftmann <none@none>

cleanup
# f6a96bba 19-Jul-2006 haftmann <none@none>

added map_default, internal restructuring
# 5947efe5 18-Jul-2006 haftmann <none@none>

AList.join now with 'DUP' exception
# 67f2fb67 24-Apr-2006 haftmann <none@none>

moved coalesce to AList, added equality predicates to library
# 66226266 06-Feb-2006 haftmann <none@none>

clarified semantics of merge
# b28011e6 31-Jan-2006 haftmann <none@none>

added map_entry_yield
# d77ef9f6 21-Dec-2005 haftmann <none@none>

slight refinements
# ea302de8 14-Nov-2005 haftmann <none@none>

string_of_alist - convenient q'n'd printout function
# 4b5bac73 19-Oct-2005 haftmann <none@none>

added join
# 56a23fd8 05-Oct-2005 haftmann <none@none>

added merge, tuned
# 16d40dd5 20-Sep-2005 haftmann <none@none>

added make and find
# 12c0a201 19-Sep-2005 haftmann <none@none>

added make function
# f794d2dd 31-Aug-2005 haftmann <none@none>

better map_entry
# 4a83dfce 28-Aug-2005 haftmann <none@none>

added alist module