diff options
| author | Brian Campbell | 2018-07-16 18:29:18 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-07-16 18:29:45 +0100 |
| commit | eec725af3dbfc0e8c0ccb79cf8eb457ff5cf68a4 (patch) | |
| tree | 01f5db2406e970858a057e3bd346742f7ebbdc4d /lib | |
| parent | 0effbdd2468859924363fe00f29c0afcb727f065 (diff) | |
Coq: fix false existential problem
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions