src/HOL/Update.ML
1998-07-24 nipkow 1998-07-24 Map.update -> map_upd, Unpdate.update -> fun_upd Problem: macros get confused about two updates.
1998-07-17 paulson 1998-07-17 tidying
1998-07-13 nipkow 1998-07-13 swapped condition in update_apply.
1998-06-23 nipkow 1998-06-23 Replaced [ := ] syntax by ( := ). Also allows ( := , := , ...) now.
1998-06-22 wenzelm 1998-06-22 isatool fixgoal;
1998-05-06 paulson 1998-05-06 Removed some traces of UNITY
1998-05-05 paulson 1998-05-05 New syntax for function update; moved to main HOL directory