Add direction option to rewrite tactic in README#33

jmkjmt merged 1 commit into

mainkupl/tryCoq:mainfrom

jmkjmt-patch-1kupl/tryCoq:jmkjmt-patch-1Copy head branch name to clipboard