StructTact icon indicating copy to clipboard operation
StructTact copied to clipboard

Published 20 hours ago • verified publisher icon uwplse

Make find_reverse_rewrite consistent

Open Kethku opened this issue 9 years ago • 0 comments

Same issue as with find_rewrite. Should be made more consistent. This was also the place where people said Tactic Notations would be good. I don't know what that means though.

Kethku avatar Apr 20 '16 00:04 Kethku