# HG changeset patch
# User paulson
# Date 888574033 -3600
# Node ID e3fbcab526a2c0f1da971a19410ae5a606b674f3
# Parent  63f0b26017928dbeacaa5d8d5d02ae0c629a6cfb
Vimage

diff -r 63f0b2601792 -r e3fbcab526a2 NEWS
--- 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)