diff options
| author | Brian Campbell | 2018-08-02 17:31:58 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-08-02 18:16:55 +0100 |
| commit | 7dbc1523cdb82bdbfb9fea84b5afcdb4f6e829c2 (patch) | |
| tree | 8d141aaac5f10514c653e2d97c9de74f46daa99a /lib/vector_dec.sail | |
| parent | 03dcb84bb8330cfa7b947ff4ecc0c5c9efca8ab0 (diff) | |
Coq: proper precedence for constraints (both prop and bool)
Diffstat (limited to 'lib/vector_dec.sail')
0 files changed, 0 insertions, 0 deletions