diff options
| author |  Matthieu Sozeau <matthieu.sozeau@inria.fr> | 2014-09-11 20:53:13 +0200 |
|---|---|---|
| committer | Matthieu Sozeau <matthieu.sozeau@inria.fr> | 2014-09-11 20:53:13 +0200 |
| commit | ae42e00f886f7c2ef743e2fdd58c55b5c3acdd87 (patch) | |
| tree | 841be5cc3ceb8d065408bb5ed2355f9fa4d73e63 /proofs/logic.mli | |
| parent | 580b25e05c7cc9e7a31430b3d9edb14ae12b7598 (diff) | |
Use an AST for strategy names.
Diffstat (limited to 'proofs/logic.mli')
0 files changed, 0 insertions, 0 deletions