Files
emacs/snippets/coq-mode/tactics/rewrite-right.yasnippet