diff options
author | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2014-09-25 13:55:40 +0200 |
---|---|---|
committer | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2014-09-27 13:18:55 +0200 |
commit | dca961d870a98e9e1eaab14850c2b0e2854a82f8 (patch) | |
tree | 5afb8d895d530d2fedef2858d9552dd6d73d47dc /proofs/proof.mli | |
parent | 38fbd7ca90ce3b852fa19b9706a00e64c5d73046 (diff) |
Removing the last use of tclSENSITIVE in favour of tclNEWGOALS.
Most of the code from Goal.Refine and related was moved to the one
file that was using it, wiz. tactics.ml. Some additional care should
be taken to clean up even more the remaining code.
Diffstat (limited to 'proofs/proof.mli')
0 files changed, 0 insertions, 0 deletions