src/HOL/Library/AList_Mapping.thy
2011-09-13 bulwahn 2011-09-13 correcting theory name and dependencies
2011-09-12 bulwahn 2011-09-12 moving connection of association lists to Mappings into a separate theory