diff options
| author | Brian Campbell | 2019-03-18 17:16:15 +0000 |
|---|---|---|
| committer | Brian Campbell | 2019-03-18 17:16:15 +0000 |
| commit | 4a720666bc5fb20c128e39d63f73aeb0a5cd6f0d (patch) | |
| tree | 876f391f3e6165322e42edb8005fe8a06c04cdcb /test/coq | |
| parent | 01a00735db79d4dde665f4a3a3ae7d777664510a (diff) | |
Coq: get axiom generation to merge bool tyvars with arguments
Diffstat (limited to 'test/coq')
0 files changed, 0 insertions, 0 deletions