*** empty log message ***
authorwenzelm
Wed Mar 05 13:37:16 1997 +0100 (1997-03-05)
changeset 2730865995b744f5
parent 2729 44cbfeebd0fe
child 2731 b31da96769b6
*** empty log message ***
NEWS
     1.1 --- a/NEWS	Wed Mar 05 10:19:42 1997 +0100
     1.2 +++ b/NEWS	Wed Mar 05 13:37:16 1997 +0100
     1.3 @@ -2,17 +2,20 @@
     1.4  Isabelle NEWS -- history of user-visible changes
     1.5  ================================================
     1.6  
     1.7 -New in Isabelle94-8 (really-soon-now 1997 FIXME)
     1.8 +New in Isabelle94-8 (April 1997)
     1.9  ------------------------------------------------
    1.10  
    1.11  * added token_translation interface (may translate name tokens in
    1.12  arbitrary ways, dependent on their type (free, bound, tfree, ...));
    1.13  
    1.14 +* token translations for modes "xterm" and "xterm_color" that display
    1.15 +names in bold, underline etc. or colors;
    1.16 +
    1.17  * HOLCF changes: derived all rules and arities 
    1.18    + axiomatic type classes instead of classes 
    1.19    + typedef instead of faking type definitions
    1.20    + eliminated the initernal constants less_fun, less_cfun, UU_fun, UU_cfun etc.
    1.21 -  + new axclasses cpo,chfin,flat with flat<chfin<pcpo<cpo<po
    1.22 +  + new axclasses cpo, chfin, flat with flat < chfin < pcpo < cpo < po
    1.23    + eliminated the types void, one, tr
    1.24    + use unit lift and bool lift (with translations) instead of one and tr
    1.25    + eliminated blift from Lift3.thy (use Def instead of blift)
    1.26 @@ -34,7 +37,7 @@
    1.27    Now, the simplification is safe (therefore moved to safe_step_tac) and thus
    1.28    more complete, as multiple instantiation of unknowns (with slow_tac) possible
    1.29    COULD MAKE EXISTING PROOFS FAIL; in case of problems with unstable old proofs:
    1.30 -                                   use unsafe_addss and unsafe_auto_tac
    1.31 +  use unsafe_addss and unsafe_auto_tac
    1.32  
    1.33  * HOL: primrec now also works with type nat;
    1.34