NEWS
changeset 4879 58656c6a3551
parent 4869 f3d30c02c1db
child 4880 312115d20c45
     1.1 --- a/NEWS	Fri May 01 11:22:09 1998 +0200
     1.2 +++ b/NEWS	Fri May 01 11:23:04 1998 +0200
     1.3 @@ -96,6 +96,9 @@
     1.4  
     1.5  * many new identities for unions, intersections, set difference, etc.;
     1.6  
     1.7 +*** ZF ***
     1.8 +
     1.9 +* in  let x=t in u(x), neither t nor u(x) has to be an FOL term.
    1.10  
    1.11  
    1.12  New in Isabelle98 (January 1998)