diff options
| author | Brian Campbell | 2018-07-13 10:14:57 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-07-13 10:14:57 +0100 |
| commit | 6586abcc185fa4e0f3853a73d91f097fbde16aca (patch) | |
| tree | 84abed647238fb638e749e850cc06cd11e1b3312 /lib | |
| parent | 06c20157840425fb367feb186f009858a3a00448 (diff) | |
Coq: avoid a couple of common identifiers
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions