diff options
| author | Brian Campbell | 2018-06-21 12:00:49 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-06-22 15:26:32 +0100 |
| commit | b550177c4987f6d20500818a6d6d091bb09b0871 (patch) | |
| tree | dbbb62d8ab8f82a7ff4332cf638662c9243da50a /lib/coq/Sail2_operators_bitlists.v | |
| parent | 5184f151330d3b1a28c0fdfc5ccbcbe203e0b5be (diff) | |
Coq: project away range types in comparisons
Diffstat (limited to 'lib/coq/Sail2_operators_bitlists.v')
0 files changed, 0 insertions, 0 deletions