| changeset 17425 | 67c84a7d29f7 |
| parent 17423 | de6b33a4efda |
| child 17436 | 4e603046e539 |
--- 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 ***