--- a/NEWS Wed Aug 10 22:34:14 2016 +0200
+++ b/NEWS Thu Aug 11 07:36:58 2016 +0200
@@ -51,7 +51,7 @@
* Splitter in simp, auto and friends:
- The syntax "split add" has been discontinued, use plain "split".
-- For situations with many nested conditional or case expressions,
+- For situations with many conditional or case expressions,
there is an alternative splitting strategy that can be much faster.
It is selected by writing "split!" instead of "split". It applies
safe introduction and elimination rules after each split rule.