aboutsummaryrefslogtreecommitdiffstats
path: root/examples/example.ml
diff options
context:
space:
mode:
authorChantal Keller <Chantal.Keller@inria.fr>2015-02-10 18:41:46 +0100
committerChantal Keller <Chantal.Keller@inria.fr>2015-02-10 18:41:46 +0100
commitff9b5494cb1943339543eeac41683a8ec2dda437 (patch)
tree21af4c0fff64fbd03c6c2006da1e305e849ebbff /examples/example.ml
parent5311b1fa064949089b8d17e34eb31a62426f71fd (diff)
downloadsmtcoq-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