diff options
author | Chantal Keller <Chantal.Keller@inria.fr> | 2015-02-10 18:41:46 +0100 |
---|---|---|
committer | Chantal Keller <Chantal.Keller@inria.fr> | 2015-02-10 18:41:46 +0100 |
commit | ff9b5494cb1943339543eeac41683a8ec2dda437 (patch) | |
tree | 21af4c0fff64fbd03c6c2006da1e305e849ebbff /examples/example.ml | |
parent | 5311b1fa064949089b8d17e34eb31a62426f71fd (diff) | |
download | smtcoq-ff9b5494cb1943339543eeac41683a8ec2dda437.tar.gz smtcoq-ff9b5494cb1943339543eeac41683a8ec2dda437.zip |
More on the support for standard Coq (not working yet)
Diffstat (limited to 'examples/example.ml')
0 files changed, 0 insertions, 0 deletions