diff options
| author | Brian Campbell | 2018-07-06 21:28:35 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-07-06 21:28:35 +0100 |
| commit | 7c36a2c621ce64e3a181bf72f7b0434f42450092 (patch) | |
| tree | 084cbe52f5ed658bd0c4855ff7d6b7743bc524ab /src/rewrites.ml | |
| parent | 3c5d11d7536c1f0f1d3c899b5daac7e35f1f369a (diff) | |
Coq: support assertions inside and outside of blocks
Diffstat (limited to 'src/rewrites.ml')
0 files changed, 0 insertions, 0 deletions