`iEval ... in ...` for performing a tactic in an invidual proofmode hypothesis
This fixes issue #116 (closed).
This should work for tactics like simpl
and (setoid) rewrite
.
This fixes issue #116 (closed).
This should work for tactics like simpl
and (setoid) rewrite
.