diff options
| author | Brian Campbell | 2019-03-01 12:14:45 +0000 |
|---|---|---|
| committer | Brian Campbell | 2019-03-01 12:14:45 +0000 |
| commit | 2e835b683c23aa4a63a9d5dac7628b0953be5f24 (patch) | |
| tree | b8ff62257f4c9b4d5789f45f1abcc9988585ae4e /lib/coq/Sail2_values.v | |
| parent | 576fb915bc281ea8e59eba896e3404d2f85e918c (diff) | |
Coq tidying: remove old definition, complete a pattern match
Diffstat (limited to 'lib/coq/Sail2_values.v')
0 files changed, 0 insertions, 0 deletions