9 lines
107 B
Plaintext
9 lines
107 B
Plaintext
# -*- mode: snippet -*-
|
|
# key: Ind
|
|
# group: definitions
|
|
# name: Inductive
|
|
# --
|
|
Inductive $1 : $2 :=
|
|
| $0
|
|
.
|