src/HOL/Library/AList.thy
2011-11-20 wenzelm 2011-11-20 eliminated obsolete "standard";
2011-09-13 bulwahn 2011-09-13 correcting theory name and dependencies
2011-09-13 bulwahn 2011-09-13 renamed AList_Impl to AList