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