*** empty log message ***
authorwenzelm
Fri Feb 28 16:58:42 1997 +0100 (1997-02-28)
changeset 2705d6e83a02061d
parent 2704 afa01c9f1ab0
child 2706 91a640a91c6e
*** empty log message ***
NEWS
     1.1 --- a/NEWS	Fri Feb 28 16:56:31 1997 +0100
     1.2 +++ b/NEWS	Fri Feb 28 16:58:42 1997 +0100
     1.3 @@ -5,6 +5,9 @@
     1.4  New in Isabelle94-8 (really-soon-now 1997 FIXME)
     1.5  ------------------------------------------------
     1.6  
     1.7 +* added token_translation interface (may translate name tokens in
     1.8 +arbitrary ways, dependent on their type (free, bound, tfree, ...));
     1.9 +
    1.10  * HOLCF changes: derived all rules and arities 
    1.11    + axiomatic type classes instead of classes 
    1.12    + typedef instead of faking type definitions