changeset 4898 | 68fd1a2b8b7b |
parent 4896 | 4727272f3db6 |
child 5069 | 3ea049f7979d |
--- a/src/HOL/Update.ML Wed May 06 11:46:00 1998 +0200 +++ b/src/HOL/Update.ML Wed May 06 13:01:30 1998 +0200 @@ -1,9 +1,9 @@ -(* Title: HOL/UNITY/Update.thy +(* Title: HOL/Update.thy ID: $Id$ Author: Lawrence C Paulson, Cambridge University Computer Laboratory Copyright 1998 University of Cambridge -Function updates: like the standard theory Map, but for ordinary functions +Function updates: like theory Map, but for ordinary functions *) open Update;