src/HOL/Map.thy
2000-10-03 wenzelm 2000-10-03 removed "symbols" syntax for constant "override";
1999-10-27 oheimb 1999-10-27 added various little lemmas
1998-08-12 oheimb 1998-08-12 defined map_upd by translation via fun_upd changed syntax of map_upd to be consistent with that of fun_upd added chg_map, map_upds
1998-07-24 nipkow 1998-07-24 Map.update -> map_upd, Unpdate.update -> fun_upd Problem: macros get confused about two updates.
1998-07-24 berghofe 1998-07-24 Adapted to new datatype package.
1997-10-24 nipkow 1997-10-24 Added the new theory Map.