| changeset 32365 | 9b74d0339c44 |
| parent 32326 | 9d70ecf11b7a |
| child 32388 | b23a4326b9bb |
--- a/NEWS Tue Aug 11 20:40:02 2009 +0200 +++ b/NEWS Wed Aug 12 00:26:01 2009 +0200 @@ -148,6 +148,9 @@ *** ML *** +* PARALLEL_CHOICE and PARALLEL_GOALS provide basic support for +parallel tactical reasoning. + * Tactical FOCUS is similar to SUBPROOF, but allows the body tactic to introduce new subgoals and schematic variables. FOCUS_PARAMS is similar, but focuses on the parameter prefix only, leaving subgoal