diff options
Diffstat (limited to 'proofs/proofs.mllib')
| -rw-r--r-- | proofs/proofs.mllib | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/proofs/proofs.mllib b/proofs/proofs.mllib index 19f289316..4a7efb029 100644 --- a/proofs/proofs.mllib +++ b/proofs/proofs.mllib @@ -1,7 +1,9 @@ Goal Evar_refiner -Monads Proof_type +Proof_errors +Proofview_gen +Proofview_monad Proofview Proof Proof_global |