diff options
| author |  Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2015-02-24 23:58:56 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2015-02-27 00:07:39 +0100 |
| commit | 2206b405c19940ca4ded2179d371c21fd13f1b6b (patch) | |
| tree | e6de3d347e53644439203cbfcb209a9fa4ffb462 /proofs/proofs.mllib | |
| parent | 93db616a6cbebf37f2f4f983963a87a4f66972e7 (diff) | |
Adding a new folder corresponding to the low-level part of the pretyper
together with the tactic monad.
The move is not complete yet, because some file candidates for this directory
have almost useless dependencies in other ones that should not be moved.
Diffstat (limited to 'proofs/proofs.mllib')
| -rw-r--r-- | proofs/proofs.mllib | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/proofs/proofs.mllib b/proofs/proofs.mllib index 32bf5576f..de0879127 100644 --- a/proofs/proofs.mllib +++ b/proofs/proofs.mllib @@ -4,7 +4,6 @@ Evar_refiner Proof_using Proof_type Proof_errors -Logic_monad Proofview_monad Logic Proofview |