diff options
| author | Brian Campbell | 2019-06-13 18:01:24 +0100 |
|---|---|---|
| committer | Brian Campbell | 2019-06-13 18:03:07 +0100 |
| commit | 54a08099f2360372a1e94f9ed0489a1dc89351af (patch) | |
| tree | af7737dd81f753de2b6450eab23d7eff52eea919 /src | |
| parent | d2f702da3b5cc9934f8cd3ea457f93c6ce2b6c12 (diff) | |
Coq: add eq_bit built-in
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions