diff options
| author | Paul Steckler | 2017-09-26 15:23:37 -0400 |
|---|---|---|
| committer | Paul Steckler | 2017-09-26 15:23:37 -0400 |
| commit | d6188188c444a95e3d40c3926274b7e526e96b82 (patch) | |
| tree | 22407baec93eef1913933a38bbb3d86b99be0e05 /API/API.mli | |
| parent | 4b6383889d4d38de4c9a28bee960b30114a51b16 (diff) | |
look for Obligation num or Next Obligation to start proof
Diffstat (limited to 'API/API.mli')
0 files changed, 0 insertions, 0 deletions