diff options
| author | Brian Campbell | 2019-03-12 12:43:50 +0000 |
|---|---|---|
| committer | Brian Campbell | 2019-03-12 12:43:50 +0000 |
| commit | b0e0902a82f61d53ad3778b2683215ad03d056b7 (patch) | |
| tree | 229ce6ee0d0287888494d6c9b50f3d628eb0752c /lib | |
| parent | c3d10cdb1787077425e174fa638f1d43de7c797f (diff) | |
Coq: fix parametrized record types
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions