diff options
| author | Erik Martin-Dorel | 2019-04-02 01:47:11 +0200 |
|---|---|---|
| committer | Erik Martin-Dorel | 2019-04-23 12:54:44 +0200 |
| commit | 7c598f9f1f6da2cecc70557f9f436392322fc6d9 (patch) | |
| tree | fb6c51e64a2ad97ddd8d7007c259c7a9c91ea80b /doc/plugin_tutorial/tuto1 | |
| parent | e68bccba9344c1b3d77d3e815af6cce1ce50b731 (diff) | |
[ssr] under: use varnames from the 1st ipat with multi-goal under lemmas
In particular, this enhances support for lemma eq_big (with 2 side-conditions).
Diffstat (limited to 'doc/plugin_tutorial/tuto1')
0 files changed, 0 insertions, 0 deletions