diff options
| author | affeldt-aist | 2020-05-28 16:24:38 +0200 |
|---|---|---|
| committer | GitHub | 2020-05-28 16:24:38 +0200 |
| commit | 5c67ea2530ba6aaa0dbffaa41e037cfdc9345d00 (patch) | |
| tree | bb22445744384365f6766578a01fae1d5240a81e /docs | |
| parent | 14291b88255b7a1a110c21dec5a3754f25ec8881 (diff) | |
| parent | 37a49513f22a3f792a1ac3241962a7d17455f7e5 (diff) | |
Merge pull request #504 from pi8027/selectors
Revise proofs in ssreflect/*.v
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions