diff options
| author | Hugo Herbelin | 2018-02-23 11:14:54 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2018-02-28 19:44:38 +0100 |
| commit | ccb7bd2948e9bd84997f3461257b2ce1c7ad3e6a (patch) | |
| tree | 4c9604bcaec5d10b3cc94c70df9b78991ec79a59 /pretyping/typeclasses_errors.mli | |
| parent | 0c5f0afffd37582787f79267d9841259095b7edc (diff) | |
Added tacticals assert_succeeds/assert_fails (courtesy of Jason Gross).
Diffstat (limited to 'pretyping/typeclasses_errors.mli')
0 files changed, 0 insertions, 0 deletions