diff options
| author | Brian Campbell | 2018-07-07 16:36:04 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-07-07 16:41:25 +0100 |
| commit | 979d88fec8a5c611ee61be15ce45ae81b4a52317 (patch) | |
| tree | 9c821f478f85b72ae34c69b633d56b62c12411b8 /lib/exception_basic.sail | |
| parent | a7e3bad39b771cb18b989da05528e6e6f2788147 (diff) | |
Coq: precise generic vectors
(probably still some pattern matching to do, but I don't think the models
use that)
Diffstat (limited to 'lib/exception_basic.sail')
0 files changed, 0 insertions, 0 deletions