new type-safe user interface for theory data;
authorwenzelm
Wed Jun 10 11:49:41 1998 +0200 (1998-06-10)
changeset 50086f56d9650ee9
parent 5007 0ebd6c91088a
child 5009 05b152a41922
new type-safe user interface for theory data;
NEWS
     1.1 --- a/NEWS	Tue Jun 09 13:49:43 1998 +0200
     1.2 +++ b/NEWS	Wed Jun 10 11:49:41 1998 +0200
     1.3 @@ -112,9 +112,9 @@
     1.4  
     1.5  *** Internal changes ***
     1.6  
     1.7 -* improved the theory data mechanism to support real encapsulation;
     1.8 -main change of the internal interfaces: data kind name (string)
     1.9 -replaced by private Object.kind, acting as authorization key;
    1.10 +* improved the theory data mechanism to support encapsulation (data
    1.11 +kind name replaced by private Object.kind, acting as authorization
    1.12 +key); new type-safe user interface via functor TheoryDataFun;
    1.13  
    1.14  
    1.15