src/HOL/Library/AssocList.thy
2010-10-05 haftmann 2010-10-05 lemmas fold_commute and fold_commute_apply
2010-09-13 haftmann 2010-09-13 moved lemmas map_of_eqI and map_of_eq_dom to Map.thy
2010-09-13 nipkow 2010-09-13 renamed lemmas: ext_iff -> fun_eq_iff, set_ext_iff -> set_eq_iff, set_ext -> set_eqI
2010-09-07 nipkow 2010-09-07 expand_fun_eq -> ext_iff expand_set_eq -> set_ext_iff Naming in line now with multisets
2010-08-27 haftmann 2010-08-27 renamed class/constant eq to equal; tuned some instantiations
2010-06-29 haftmann 2010-06-29 merged
2010-06-28 haftmann 2010-06-28 dropped ancient infix mem; refined code generation operations in List.thy
2010-06-28 haftmann 2010-06-28 merged constants "split" and "prod_case"
2010-06-18 haftmann 2010-06-18 prefer fold over foldl
2010-05-21 haftmann 2010-05-21 refined
2010-04-11 haftmann 2010-04-11 constructor Mapping replaces AList
2010-02-17 haftmann 2010-02-17 added ordered_keys
2010-02-17 haftmann 2010-02-17 mappings implemented by association lists
2010-01-31 haftmann 2010-01-31 more correspondence lemmas between related operations; tuned some proofs
2009-10-17 wenzelm 2009-10-17 eliminated hard tabulators, guessing at each author's individual tab-width; tuned headers;
2009-03-23 haftmann 2009-03-23 Main is (Complex_Main) base entry point in library theories
2009-03-04 nipkow 2009-03-04 Made Option a separate theory and renamed option_map to Option.map
2008-07-07 haftmann 2008-07-07 absolute imports of HOL/*.thy theories
2008-06-26 haftmann 2008-06-26 established Plain theory and image
2008-03-17 wenzelm 2008-03-17 avoid rebinding of existing facts;
2008-02-26 haftmann 2008-02-26 some more primrec
2008-01-25 haftmann 2008-01-25 dropped superfluous code theorems
2007-06-13 wenzelm 2007-06-13 tuned proofs: avoid implicit prems;
2007-06-06 nipkow 2007-06-06 changed filter syntax from : to <-
2007-05-10 haftmann 2007-05-10 tuned
2007-04-26 haftmann 2007-04-26 slightly tuned
2007-04-20 haftmann 2007-04-20 tuned: now using function package
2006-11-17 wenzelm 2006-11-17 more robust syntax for definition/abbreviation/notation;
2006-09-11 wenzelm 2006-09-11 induct method: renamed 'fixing' to 'arbitrary';
2006-03-28 schirmer 2006-03-28 renamed map_val to map_ran
2006-03-28 schirmer 2006-03-28 added map_val, superseding map_at and substitute ----------------------------------------------------------------------
2006-03-23 nipkow 2006-03-23 Converted translations to abbbreviations. Removed a few odd functions from Map and AssocList. Moved chg_map from Map to Bali/Basis.
2006-03-10 schirmer 2006-03-10 Added Library/AssocList.thy