diff options
| author | Enrico Tassi | 2018-05-31 16:12:33 +0200 |
|---|---|---|
| committer | Erik Martin-Dorel | 2019-04-02 22:02:27 +0200 |
| commit | 717f77bbaf479ae1e8335ce226ad71c2c88df644 (patch) | |
| tree | dfa33fc400fa1d07c8eeab44a1372add576ccf2f /doc/plugin_tutorial/tuto3 | |
| parent | 2b2b70d2f0487994db7effc7ced89a658c0cf4f3 (diff) | |
[ssr] implement "under i: ext_lemma" by rewrite rule
Still to do: renaming the bound variables afterwards
Diffstat (limited to 'doc/plugin_tutorial/tuto3')
0 files changed, 0 insertions, 0 deletions