diff options
| author |  Arnaud Spiwack <arnaud@spiwack.net> | 2014-02-27 10:58:45 +0100 |
|---|---|---|
| committer | Arnaud Spiwack <arnaud@spiwack.net> | 2014-02-27 10:58:45 +0100 |
| commit | 26134d1c4056b70b2bdadaf881ef951e5858b606 (patch) | |
| tree | f37d0e4f073a82cf877ee067b54906aebdc3f69a /tactics/tactics.mllib | |
| parent | 64c53a3045187d766b379e9b0902912e0c0d310d (diff) | |
Dead code: eval_ltac_constr.
Diffstat (limited to 'tactics/tactics.mllib')
0 files changed, 0 insertions, 0 deletions