diff options
| author | Brian Campbell | 2018-07-07 15:17:20 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-07-07 15:17:20 +0100 |
| commit | 2a2f38f46735a81a921891bf0bf9e35a7cc4a347 (patch) | |
| tree | 0d7a403c0e40efa40ad49eb0906fe06c3e33d0c0 /lib/exception_basic.sail | |
| parent | 7c36a2c621ce64e3a181bf72f7b0434f42450092 (diff) | |
Coq: eq_range should take proofs
Diffstat (limited to 'lib/exception_basic.sail')
0 files changed, 0 insertions, 0 deletions