src/HOL/Library/AList.thy
2015-06-17 wenzelm 2015-06-17 isabelle update_cartouches;
2015-04-13 nipkow 2015-04-13 moved _aux functions from AFP/Collections to AList
2015-04-09 wenzelm 2015-04-09 clarified keyword 'qualified' in accordance to a similar keyword from Haskell (despite unrelated Binding.qualified in Isabelle/ML);
2015-04-07 wenzelm 2015-04-07 more qualified names -- eliminated hide_const (open);
2014-11-02 wenzelm 2014-11-02 modernized header;
2014-03-30 wenzelm 2014-03-30 tuned proofs;
2014-02-14 blanchet 2014-02-14 merged 'Option.map' and 'Option.map_option'
2014-02-12 blanchet 2014-02-12 renamed '{prod,sum,bool,unit}_case' to 'case_...'
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