* improved the theory data mechanism to support real encapsulation;
authorwenzelm
Fri Jun 05 14:40:07 1998 +0200 (1998-06-05)
changeset 50027b4c2a153738
parent 5001 9de7fda0a6df
child 5003 f73ad32e44d3
* improved the theory data mechanism to support real encapsulation;
main change of the internal interfaces: data kind name (string)
replaced by private Object.kind, acting as authorization key;
NEWS
     1.1 --- a/NEWS	Fri Jun 05 14:33:18 1998 +0200
     1.2 +++ b/NEWS	Fri Jun 05 14:40:07 1998 +0200
     1.3 @@ -104,11 +104,20 @@
     1.4  
     1.5  * many new identities for unions, intersections, set difference, etc.;
     1.6  
     1.7 +
     1.8  *** ZF ***
     1.9  
    1.10  * in  let x=t in u(x), neither t nor u(x) has to be an FOL term.
    1.11  
    1.12  
    1.13 +*** Internal changes ***
    1.14 +
    1.15 +* improved the theory data mechanism to support real encapsulation;
    1.16 +main change of the internal interfaces: data kind name (string)
    1.17 +replaced by private Object.kind, acting as authorization key;
    1.18 +
    1.19 +
    1.20 +
    1.21  New in Isabelle98 (January 1998)
    1.22  --------------------------------
    1.23