# HG changeset patch # User nipkow # Date 1470893818 -7200 # Node ID fac9097dc772ecde95c236328f4cc17d2de41db2 # Parent d31650b377c45f6fde70b949569a72564b49ea1c tuned diff -r d31650b377c4 -r fac9097dc772 NEWS --- 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.