diff options
| author | Arnaud Spiwack | 2014-08-04 15:47:52 +0200 |
|---|---|---|
| committer | Arnaud Spiwack | 2014-08-04 15:57:34 +0200 |
| commit | d6ce6a55428856aadadb11218889b9a452e95e55 (patch) | |
| tree | a93f4bf85e7bd119048743aec9f815c5c7d13be1 /kernel/nativecode.ml | |
| parent | 94a759be56074ac66c5c96b0cc7722b395c4cf40 (diff) | |
Cleaning the new implementation of the tactic monad continued.
Remove proofview_gen, which was the repository of the extracted code, and move it to proofview_monad, which has the actual interface used by the [Proofview] module to implement tactics.
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions