emacs/snippets/coq-mode/tactics/case.yasnippet

# -*- mode: snippet -*-
# key: case
# group: tactics
# name: case
# --
case ${1:n} as [ | $1' ].$0