| changeset 4661 | e3fbcab526a2 |
| parent 4655 | 481628ea8edd |
| child 4683 | de426efe87d3 |
--- 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)