diff options
| author | Alasdair Armstrong | 2019-03-01 16:29:28 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2019-03-01 16:30:12 +0000 |
| commit | d9db6da6d031effbf820de406f06c4ee973939a5 (patch) | |
| tree | c820a5b555cc0594b1bc0c08c917fa9749b4344e /lib/coq/Sail2_state.v | |
| parent | a8da14a23cd8dfdd5fcc527b930ed553d376d18f (diff) | |
Fix bug with naturals in quantified constructors
Diffstat (limited to 'lib/coq/Sail2_state.v')
0 files changed, 0 insertions, 0 deletions