diff options
| author | Arnaud Spiwack | 2014-07-24 14:55:20 +0200 |
|---|---|---|
| committer | Arnaud Spiwack | 2014-07-24 17:58:38 +0200 |
| commit | 6b48993748998f0aaaa18ee65a7591d6a083c0f9 (patch) | |
| tree | 3194d79e89b3c1ac429854361fa55f870b710e5c /kernel/type_errors.ml | |
| parent | 31c1280a000c03c3a48ee697032d67e3e06af3fa (diff) | |
A handful of useful primitives in Proofview.Refine.
Diffstat (limited to 'kernel/type_errors.ml')
0 files changed, 0 insertions, 0 deletions