diff options
| author |  Arnaud Spiwack <arnaud@spiwack.net> | 2014-08-04 18:39:19 +0200 |
|---|---|---|
| committer | Arnaud Spiwack <arnaud@spiwack.net> | 2014-11-01 22:43:56 +0100 |
| commit | 3c8797a7e0d6536e28b8a8e7f4256241fc79dfc8 (patch) | |
| tree | 26a6fe66343f845dce18f3be86cfdadd128ca00f /proofs/proof.mli | |
| parent | 1177da32723fd46a82b66ca7ffe4d13d93480da6 (diff) | |
An API for info traces.
Diffstat (limited to 'proofs/proof.mli')
0 files changed, 0 insertions, 0 deletions