diff options
| author | Brian Campbell | 2019-11-20 16:48:44 +0000 |
|---|---|---|
| committer | Brian Campbell | 2019-11-20 16:49:07 +0000 |
| commit | e9949e5c877d0cfd7be5c383f6f2871fb01d828b (patch) | |
| tree | e317a9da265da80fe7f18cbb8e79ce010d8e5d34 /src/sail.ml | |
| parent | c4a5c2526259676cadb9b66d3a9d37021e9fd3d8 (diff) | |
Coq: port a couple of definitions from Isabelle for address translation spec
Diffstat (limited to 'src/sail.ml')
0 files changed, 0 insertions, 0 deletions