diff options
author | QGarchery <QGarchery@users.noreply.github.com> | 2019-02-08 07:51:05 +0100 |
---|---|---|
committer | ckeller <ckeller@users.noreply.github.com> | 2019-02-08 07:51:05 +0100 |
commit | 05fc195f4e6e0a194323e68efa0d18dafece96ae (patch) | |
tree | d8e1ec8805a5334c6e0967c599ad437513bcae6d /src/euf | |
parent | d813320d18db7c065cb8fda0cdc5785045d1a6c8 (diff) | |
download | smtcoq-05fc195f4e6e0a194323e68efa0d18dafece96ae.tar.gz smtcoq-05fc195f4e6e0a194323e68efa0d18dafece96ae.zip |
tactic notations (#31)
Diffstat (limited to 'src/euf')
0 files changed, 0 insertions, 0 deletions