diff options
| author | Emilio Jesus Gallego Arias | 2020-03-17 06:08:21 -0400 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2020-03-30 19:05:38 -0400 |
| commit | 9e3c7d4c0babf3b69c8646351ca7069704df345d (patch) | |
| tree | d2d613fc408e66806ef1f88f5949177c73bf8594 /doc/plugin_tutorial/tuto1/src/simple_declare.ml | |
| parent | f836b601e3cb81dd24d25ccd910b2506aac998d9 (diff) | |
[lemmas] Minor tweak to Equations API.
`wits` is actually not used, it is set in equations to the list of
evars corresponding to the goals.
Diffstat (limited to 'doc/plugin_tutorial/tuto1/src/simple_declare.ml')
0 files changed, 0 insertions, 0 deletions