# HG changeset patch
# User wenzelm
# Date 897050407 -7200
# Node ID 7b4c2a15373869cc6c9e4cfc6c9499ef801bbff8
# Parent  9de7fda0a6df6b75d73331fb851ac1c2f26af27e
* 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;

diff -r 9de7fda0a6df -r 7b4c2a153738 NEWS
--- a/NEWS	Fri Jun 05 14:33:18 1998 +0200
+++ b/NEWS	Fri Jun 05 14:40:07 1998 +0200
@@ -104,11 +104,20 @@
 
 * many new identities for unions, intersections, set difference, etc.;
 
+
 *** ZF ***
 
 * in  let x=t in u(x), neither t nor u(x) has to be an FOL term.
 
 
+*** Internal changes ***
+
+* 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;
+
+
+
 New in Isabelle98 (January 1998)
 --------------------------------