A parser for a single rename to perform in the rename
tactic:
these should have the form h => hnew
(describing a rename of a hypothesis h
to hnew
).
A parser for a single rename to perform in the rename
tactic:
these should have the form h => hnew
(describing a rename of a hypothesis h
to hnew
).