*** empty log message ***

--- a/NEWS	Thu Sep 19 16:01:29 2002 +0200
+++ b/NEWS	Thu Sep 19 16:09:16 2002 +0200
@@ -1,4 +1,3 @@
-
 Isabelle NEWS -- history user-relevant changes
 ==============================================
 
@@ -70,6 +69,8 @@
 * simp reduces "m*(n div m) + n mod m" to n, even if the two summands
 are distributed over a sum of terms;
 
+* the simplifier trace now shows the names of the applied rewrite rules
+
 * Real/HahnBanach: updated and adapted to locales;