diff options
author | Chantal Keller <Chantal.Keller@inria.fr> | 2019-11-14 20:30:48 +0100 |
---|---|---|
committer | Chantal Keller <Chantal.Keller@inria.fr> | 2019-11-14 20:30:48 +0100 |
commit | 06bd8685c7dd00fbfe544615ca4d5e2f71cfaaed (patch) | |
tree | 89073955579791e10910a7bdd89799aec47ec1d7 /src/trace/smtBtype.mli | |
parent | 4294883295f02122cde3e43f73e166f40390520b (diff) | |
download | smtcoq-06bd8685c7dd00fbfe544615ca4d5e2f71cfaaed.tar.gz smtcoq-06bd8685c7dd00fbfe544615ca4d5e2f71cfaaed.zip |
Changing notation for implb (closes #51)
Diffstat (limited to 'src/trace/smtBtype.mli')
0 files changed, 0 insertions, 0 deletions