*** empty log message ***
authorwenzelm
Wed Mar 05 13:40:41 1997 +0100 (1997-03-05)
changeset 2731b31da96769b6
parent 2730 865995b744f5
child 2732 84fc9c3b6bf0
*** empty log message ***
NEWS
     1.1 --- a/NEWS	Wed Mar 05 13:37:16 1997 +0100
     1.2 +++ b/NEWS	Wed Mar 05 13:40:41 1997 +0100
     1.3 @@ -3,7 +3,7 @@
     1.4  ================================================
     1.5  
     1.6  New in Isabelle94-8 (April 1997)
     1.7 -------------------------------------------------
     1.8 +--------------------------------
     1.9  
    1.10  * added token_translation interface (may translate name tokens in
    1.11  arbitrary ways, dependent on their type (free, bound, tfree, ...));