diff options
| author | Emilio Jesus Gallego Arias | 2020-03-09 07:20:18 -0400 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2020-03-30 19:05:36 -0400 |
| commit | dc71c61e76b4ffff09b8d41e69ae403348e064fe (patch) | |
| tree | d0ac81cbf21501f961a854c3254069e8ab5dec4d /doc/plugin_tutorial/tuto1/src | |
| parent | 5f937b2f8532b2ccf36c62557934cc2c9150005b (diff) | |
[lemmas] [internal] Reify handling of mutual assumptions
This gets us closer to the code in `DeclareDef` for the
non-interactive case.
Diffstat (limited to 'doc/plugin_tutorial/tuto1/src')
0 files changed, 0 insertions, 0 deletions