NEWS
changeset 14427 cea7d2f76112
parent 14418 b62323c85134
child 14464 72ad5f2a3803
     1.1 --- a/NEWS	Tue Mar 02 11:06:37 2004 +0100
     1.2 +++ b/NEWS	Wed Mar 03 22:58:23 2004 +0100
     1.3 @@ -109,6 +109,8 @@
     1.4      the reference "print_record_type_abbr".
     1.5    - Simproc "record_upd_simproc" for simplification of multiple updates added 
     1.6      (not enabled by default).
     1.7 +  - Simproc "record_ex_sel_eq_simproc" to simplify EX x. sel r = x resp.
     1.8 +    EX x. x = sel r to True (not enabled by default).
     1.9    - Tactic "record_split_simp_tac" to split and simplify records added.
    1.10   
    1.11  * 'specification' command added, allowing for definition by