# 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)