NEWS
changeset 2705 d6e83a02061d
parent 2654 6efa602921d1
child 2726 e050f8bb1177
--- a/NEWS	Fri Feb 28 16:56:31 1997 +0100
+++ b/NEWS	Fri Feb 28 16:58:42 1997 +0100
@@ -5,6 +5,9 @@
 New in Isabelle94-8 (really-soon-now 1997 FIXME)
 ------------------------------------------------
 
+* added token_translation interface (may translate name tokens in
+arbitrary ways, dependent on their type (free, bound, tfree, ...));
+
 * HOLCF changes: derived all rules and arities 
   + axiomatic type classes instead of classes 
   + typedef instead of faking type definitions