src/HOL/Update.thy
1998-07-24 nipkow 1998-07-24 Map.update -> map_upd, Unpdate.update -> fun_upd Problem: macros get confused about two updates.
1998-06-23 nipkow 1998-06-23 Replaced [ := ] syntax by ( := ). Also allows ( := , := , ...) now.
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