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