| .. |
|
axiom.yasnippet
|
Adds snippets for coq-mode
|
2019-10-06 22:09:59 +02:00 |
|
conjecture.yasnippet
|
Adds snippets for coq-mode
|
2019-10-06 22:09:59 +02:00 |
|
corollary.yasnippet
|
Adds snippets for coq-mode
|
2019-10-06 22:09:59 +02:00 |
|
example.yasnippet
|
Adds snippets for coq-mode
|
2019-10-06 22:09:59 +02:00 |
|
fact.yasnippet
|
Adds snippets for coq-mode
|
2019-10-06 22:09:59 +02:00 |
|
hypotheses.yasnippet
|
Adds snippets for coq-mode
|
2019-10-06 22:09:59 +02:00 |
|
hypothesis.yasnippet
|
Adds snippets for coq-mode
|
2019-10-06 22:09:59 +02:00 |
|
instance.yasnippet
|
Adds snippets for coq-mode
|
2019-10-06 22:09:59 +02:00 |
|
lemma.yasnippet
|
Adds snippets for coq-mode
|
2019-10-06 22:09:59 +02:00 |
|
parameter.yasnippet
|
Adds snippets for coq-mode
|
2019-10-06 22:09:59 +02:00 |
|
proposition.yasnippet
|
Adds snippets for coq-mode
|
2019-10-06 22:09:59 +02:00 |
|
remark.yasnippet
|
Adds snippets for coq-mode
|
2019-10-06 22:09:59 +02:00 |
|
theorem.yasnippet
|
Adds snippets for coq-mode
|
2019-10-06 22:09:59 +02:00 |
|
variable.yasnippet
|
Adds snippets for coq-mode
|
2019-10-06 22:09:59 +02:00 |
|
variables.yasnippet
|
Adds snippets for coq-mode
|
2019-10-06 22:09:59 +02:00 |
2eac2f8b6f