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