# HG changeset patch
# User wenzelm
# Date 897472181 -7200
# Node ID 6f56d9650ee93c158cc61029376fd464611230ab
# Parent  0ebd6c91088a1b9546313a3836496fe25d4b5e2b
new type-safe user interface for theory data;

diff -r 0ebd6c91088a -r 6f56d9650ee9 NEWS
--- a/NEWS	Tue Jun 09 13:49:43 1998 +0200
+++ b/NEWS	Wed Jun 10 11:49:41 1998 +0200
@@ -112,9 +112,9 @@
 
 *** 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;
+* improved the theory data mechanism to support encapsulation (data
+kind name replaced by private Object.kind, acting as authorization
+key); new type-safe user interface via functor TheoryDataFun;