* Improved efficiency of the Simplifier etc.;

--- a/NEWS	Thu Sep 15 20:25:04 2005 +0200
+++ b/NEWS	Thu Sep 15 20:27:48 2005 +0200
@@ -48,6 +48,10 @@
 formal and informal parts).  Cf. option -U of the Isabelle Proof
 General interface; HOL/ex/Hebrew.thy provides a simple example.
 
+* Improved efficiency of the Simplifier and, to a lesser degree, the
+Classical Reasoner.  Typical big applications run around 2 times
+faster.
+
 
 *** Document preparation ***