diff options
| author | Hugo Herbelin | 2020-09-27 07:35:28 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2020-10-14 12:23:59 +0200 |
| commit | 92ddd42345f9976a1e3b2cc2e53541ef0864ed0b (patch) | |
| tree | 5136a7f5ef77bbc38a2a7f25c1b7684f3cd59354 /kernel | |
| parent | 411025844a4c005ce03d77c6c640807c28269d4a (diff) | |
Deprecating wit_var to the benefit of its synonymous wit_hyp.
Note: "hyp" was documented in Ltac Notation chapter but "var" was not.
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions