diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-10-23 21:00:12 -0400 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-10-23 21:00:25 -0400 |
| commit | 8ba5b99185d3ae7725a37aea0c4594f9bceb3600 (patch) | |
| tree | 77bb54f235308faf9134dda0fab5dc7c02f79bc6 /_CoqProject | |
| parent | 39aea54d375bb13f388c5cb8302748f85abe11a8 (diff) | |
Add {un,}transfer_interp_flat_type, lift_flat_type
Diffstat (limited to '_CoqProject')
0 files changed, 0 insertions, 0 deletions