src/HOL/Map.ML
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.