src/HOL/Map.ML
1999-03-03 paulson 1999-03-03 expandshort
1998-09-09 oheimb 1998-09-09 AddSDs[override_SomeD]; replaced map_of_append by map_of_override, changing its direction
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.
1998-07-15 paulson 1998-07-15 Removal of leading "\!\!..." from most Goal commands
1998-06-22 wenzelm 1998-06-22 isatool fixgoal;
1998-06-02 oheimb 1998-06-02 added option_map_o_empty added option_map_o_empty and option_map_o_update to simpset()
1998-05-14 oheimb 1998-05-14 added option_map_o_update
1998-05-01 oheimb 1998-05-01 added finite_dom_map_of and ran_update
1998-04-27 oheimb 1998-04-27 cleanup for split_all_tac as wrapper in claset()
1998-03-07 nipkow 1998-03-07 Removed `addsplits [expand_if]'
1998-01-08 oheimb 1998-01-08 added update_same, update_other, update_triv, and map_of_SomeD
1997-12-16 wenzelm 1997-12-16 expandshort;
1997-11-03 wenzelm 1997-11-03 isatool fixclasimp;
1997-11-03 nipkow 1997-11-03 expand_option_case -> split_option_case
1997-10-24 nipkow 1997-10-24 Added the new theory Map.