*** empty log message ***
authornipkow
Thu Sep 19 16:09:16 2002 +0200 (2002-09-19)
changeset 135700d6a0dce3ba3
parent 13569 69a6b3aa0f38
child 13571 d76a798281f4
*** empty log message ***
NEWS
     1.1 --- a/NEWS	Thu Sep 19 16:01:29 2002 +0200
     1.2 +++ b/NEWS	Thu Sep 19 16:09:16 2002 +0200
     1.3 @@ -1,4 +1,3 @@
     1.4 -
     1.5  Isabelle NEWS -- history user-relevant changes
     1.6  ==============================================
     1.7  
     1.8 @@ -70,6 +69,8 @@
     1.9  * simp reduces "m*(n div m) + n mod m" to n, even if the two summands
    1.10  are distributed over a sum of terms;
    1.11  
    1.12 +* the simplifier trace now shows the names of the applied rewrite rules
    1.13 +
    1.14  * Real/HahnBanach: updated and adapted to locales;
    1.15  
    1.16