src/HOL/Library/AssocList.thy
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