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