diff options
| author |  Arnaud Spiwack <arnaud@spiwack.net> | 2014-07-31 16:57:23 +0200 |
|---|---|---|
| committer | Arnaud Spiwack <arnaud@spiwack.net> | 2014-08-01 19:18:59 +0200 |
| commit | b240b7d0cfd6233dcb0ba0e3b98354c78c23a0d4 (patch) | |
| tree | fdea52e140e7aec2d18b4a26b734c335a990037c /CHANGES | |
| parent | d9e39315b0debcb6c8cd95821db19f83364b263f (diff) | |
CHANGES: [>…].
Diffstat (limited to 'CHANGES')
| -rw-r--r-- | CHANGES | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -99,6 +99,7 @@ Tactics * New tactic language feature "numgoals" to count number of goals. Accompanied by "guard" tactic which fails if a boolean test does not pass. + * New tactical "[> ... ]" to apply tactics to individual goals. * The refine tactic is changed not to use an ad hoc typing algorithm to generate subgoals. It also uses the dependent subgoal feature to generate goals to materialise every existential variable which |