diff -r be11be0b6ea1 -r 68fd1a2b8b7b src/HOL/Update.ML
--- 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;