diff options
| author | Brian Campbell | 2018-07-12 14:45:34 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-07-12 14:45:34 +0100 |
| commit | f3d480d3fee8c28c1dd1975117149ddcd47d989f (patch) | |
| tree | f636212ed56cb3c49bed558cb78b7d415b92c0f7 /lib | |
| parent | 4f939658df5f45026d42491b8bf78aaa44f76e7b (diff) | |
Coq: more autocast insertion
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions