diff options
| author | Brian Campbell | 2019-05-23 18:20:47 +0100 |
|---|---|---|
| committer | Brian Campbell | 2019-05-23 18:21:34 +0100 |
| commit | 5bbfc39ff20f208704453249f02d468325917055 (patch) | |
| tree | 4974187b885d198adcf4c409003c9aae5a41659a /lib/exception_basic.sail | |
| parent | fd89347fae1a193911b4dc28a25eb184ce8ab392 (diff) | |
Coq: define the names from the Sail real library
Diffstat (limited to 'lib/exception_basic.sail')
0 files changed, 0 insertions, 0 deletions