diff options
| author |  Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2016-07-12 11:40:52 +0200 |
|---|---|---|
| committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2017-05-30 14:40:45 +0200 |
| commit | 9a63fdf0cad004d21ff9e937b08e7758e304bcd3 (patch) | |
| tree | aa0c3c17642a1a86f4170af1423f2da5ea67c45e /plugins/nsatz/nsatz.ml | |
| parent | fd36c0451c26e44b1b7e93299d3367ad2d35fee3 (diff) | |
Adding "eassert", "eenough", "epose proof", which allow to state
a goal with unresolved evars.
Diffstat (limited to 'plugins/nsatz/nsatz.ml')
0 files changed, 0 insertions, 0 deletions