diff options
author | 2016-03-10 15:16:02 +0100 | |
---|---|---|
committer | 2016-03-19 01:36:22 +0100 | |
commit | a11dd2209f47b6b79ace3d32071d29bd5652e07a (patch) | |
tree | 11d77d1ccb3b89a6d66cc90f6034761b8f8fbc7a /plugins/rtauto/proof_search.ml | |
parent | f63cf9d72c7feb6aa65e525bf6262559a355435f (diff) |
Relying on Vernac classifier to flag tactics in the STM.
Diffstat (limited to 'plugins/rtauto/proof_search.ml')
0 files changed, 0 insertions, 0 deletions