In this release we add the All(S) strategy. The All(S) strategy allows to rewrite all subterms in a set of terms using strategy S.
Bug fixes
- Fixed a bug in the parsing where an ill defined strategy was accepted by the parser. The Not strategy can only accept simple strategies, and declared strategies. The parser was letting other strategies pass, which caused a NPE at runtime.