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.