src/HOL/Library/AList.thy
2012-04-06 haftmann 2012-04-06 no preference wrt. fold(l/r); prefer fold rather than foldr for iterating over lists in generated code
2012-02-16 wenzelm 2012-02-16 tuned proofs;
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
2012-01-10 bulwahn 2012-01-10 adding theory association lists with invariant
2011-12-14 bulwahn 2011-12-14 adding map_entry to AList theory
2011-12-14 bulwahn 2011-12-14 adding map_default to AList theory
2011-12-14 bulwahn 2011-12-14 fixed typo in theorem name in AList theory
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