new simproc
authornipkow
Fri Jul 25 13:59:15 1997 +0200 (1997-07-25)
changeset 358004c6ae944b5e
parent 3579 8bd9b4b3b61d
child 3581 0727ebd62b48
new simproc
NEWS
     1.1 --- a/NEWS	Fri Jul 25 13:20:12 1997 +0200
     1.2 +++ b/NEWS	Fri Jul 25 13:59:15 1997 +0200
     1.3 @@ -5,6 +5,11 @@
     1.4  New in Isabelle???? (DATE ????)
     1.5  -------------------------------
     1.6  
     1.7 +* HOL/simplifier: terms of the form
     1.8 +  `? x. P1(x) & ... & Pn(x) & x=t & Q1(x) & ... Qn(x)' (or t=x)
     1.9 +  are rewritten to
    1.10 +  `P1(t) & ... & Pn(t) & Q1(t) & ... Qn(t)'
    1.11 +
    1.12  * HOL/Lists: the function "set_of_list" has been renamed "set"
    1.13  
    1.14  * removed old README and Makefiles;