Vimage

--- a/NEWS	Fri Feb 27 11:06:28 1998 +0100
+++ b/NEWS	Fri Feb 27 11:07:13 1998 +0100
@@ -15,6 +15,11 @@
   delWrapper, delSWrapper: claset *  string -> claset
   getWrapper is renamed to appWrappers, getSWrapper to appSWrappers;
 
+*** HOL ***
+
+* New theory Vimage (inverse image of a function, syntax f-``B)
+
+* Many new identities for unions, intersections, etc.
 
 
 New in Isabelle98 (January 1998)