coq-realize.drv 186 Bytes
Newer Older
1 2 3 4

prelude "(* This file is generated by Why3's Coq driver *)"
prelude "(* Beware! Only edit allowed sections below    *)"

5 6
printer "coq-realize"
filename "%t.v"
7

8
import "coq-common.gen"
9