diff options
| author |  Cyprien Mangin <cyprien.mangin@m4x.org> | 2016-06-14 15:58:36 +0200 |
|---|---|---|
| committer | Cyprien Mangin <cyprien.mangin@m4x.org> | 2016-06-14 15:58:36 +0200 |
| commit | 791f3254cba602672b834ec3484d308db074b684 (patch) | |
| tree | b40ebf8ecf72f4c3cdda5e897bc5f73d24fe6b90 /proofs/proof.mli | |
| parent | 95a7ddee80fef2d499dce36a7e37fc5c6e374018 (diff) | |
Add documentation for goal selectors.
Diffstat (limited to 'proofs/proof.mli')
0 files changed, 0 insertions, 0 deletions