diff options
author | Valentin Blot <24938579+vblot@users.noreply.github.com> | 2018-10-27 00:42:09 +0200 |
---|---|---|
committer | Valentin Blot <24938579+vblot@users.noreply.github.com> | 2018-10-27 10:19:26 +0200 |
commit | bc972f702336605cddf2564c4d0423a826d96c19 (patch) | |
tree | 9b0fe1cb7d19bf2c05100a6a9b184a78efdec49d /src/cnf | |
parent | db9bb4f7ba88c938e882f9a30c6456d73b793491 (diff) | |
download | smtcoq-bc972f702336605cddf2564c4d0423a826d96c19.tar.gz smtcoq-bc972f702336605cddf2564c4d0423a826d96c19.zip |
conversion tactics: with a functor
Diffstat (limited to 'src/cnf')
0 files changed, 0 insertions, 0 deletions