diff options
author | Valentin Blot <24938579+vblot@users.noreply.github.com> | 2018-10-28 01:08:23 +0200 |
---|---|---|
committer | Valentin Blot <24938579+vblot@users.noreply.github.com> | 2018-10-28 09:57:01 +0100 |
commit | 6c02c60ee6c72bda1be390a60cae775c255d5dd6 (patch) | |
tree | 9a6dc0264fa4dfca96670b37f20bc5e5a3c9d8f4 /unit-tests/Tests_zchaff.v | |
parent | faaa2848c37444f8f37ac432c25f9f813e1df39b (diff) | |
parent | bc972f702336605cddf2564c4d0423a826d96c19 (diff) | |
download | smtcoq-6c02c60ee6c72bda1be390a60cae775c255d5dd6.tar.gz smtcoq-6c02c60ee6c72bda1be390a60cae775c255d5dd6.zip |
conversion tactics: with a functor
Diffstat (limited to 'unit-tests/Tests_zchaff.v')
0 files changed, 0 insertions, 0 deletions