diff options
| author | Brian Campbell | 2019-05-24 11:10:05 +0100 |
|---|---|---|
| committer | Brian Campbell | 2019-05-24 11:10:05 +0100 |
| commit | e4498f776de81dd84bb6e8235e279fdeb3350253 (patch) | |
| tree | cbf2d6da9836243be09c41843ee422cd93c89570 /src | |
| parent | ff6a384ccb4d244231f46801e79397bab3f7011d (diff) | |
Coq: switch to computable versions of BBV shifts
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions