diff options
author | Quentin Garchery <garchery.quentin@gmail.com> | 2018-10-28 00:30:23 +0200 |
---|---|---|
committer | Valentin Blot <24938579+vblot@users.noreply.github.com> | 2018-10-28 00:30:23 +0200 |
commit | 7940ef63c654be26b41ce20162207f3c67d0b10a (patch) | |
tree | 89d7e2a04b93a0cb37642416535637ddb45eba8b /examples/Non_terminating.v | |
parent | cefda895d15a3f7eb7bf75402beb6fae22162585 (diff) | |
download | smtcoq-7940ef63c654be26b41ce20162207f3c67d0b10a.tar.gz smtcoq-7940ef63c654be26b41ce20162207f3c67d0b10a.zip |
New files SmtBtype.ml(i) for module formerly in SmtAtom
Diffstat (limited to 'examples/Non_terminating.v')
0 files changed, 0 insertions, 0 deletions