diff options
| author | Brian Campbell | 2018-07-06 10:14:51 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-07-06 18:27:01 +0100 |
| commit | cd3a1f9a5ac8c7e64489a1d92dc4dea595ed8a2b (patch) | |
| tree | a20b092feec11f21e0c708ffb680bf3ad1f05253 /lib/arith.sail | |
| parent | e4c43d45c6fe5267ad72a1be64d6328470f2a18e (diff) | |
Coq: reduce use of sumbool_of_bool to relevant constraints
Diffstat (limited to 'lib/arith.sail')
0 files changed, 0 insertions, 0 deletions