src/HOL/Map.thy
2003-05-16 webertj 2003-05-16 Added a few lemmas about map_le
2003-05-14 nipkow 2003-05-14 *** empty log message ***
2003-05-14 nipkow 2003-05-14 *** empty log message ***
2003-05-14 nipkow 2003-05-14 *** empty log message ***
2003-04-30 nipkow 2003-04-30 added a thm
2003-04-16 nipkow 2003-04-16 header
2003-04-15 kleing 2003-04-15 fixed document
2003-04-14 nipkow 2003-04-14 Added thms
2003-04-14 webertj 2003-04-14 Fixed non-escaped underscore in section headings (document generation should work again now).
2003-04-11 webertj 2003-04-11 Map.ML integrated into Map.thy
2003-04-01 nipkow 2003-04-01 Made empty a translation rather than a constant.
2002-02-21 wenzelm 2002-02-21 removed theory Option;
2001-11-09 wenzelm 2001-11-09 eliminated old "symbols" syntax, use "xsymbols" instead;
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.