src/HOL/Library/AList_Mapping.thy
2012-01-17 bulwahn 2012-01-17 renaming theory AList_Impl back to AList (reverting 1fec5b365f9b; AList with distinct key invariant is called DAList)
2012-01-10 bulwahn 2012-01-10 proper hiding of facts and constants in AList_Impl and AList theory
2011-12-14 bulwahn 2011-12-14 correcting dependencies after renaming
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