emacs/snippets/coq-mode/propositions/variable.yasnippet

# -*- mode: snippet -*-
# key: Var
# group: propositions
# name: Variable
# --
Variable $1 : $0.