diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-11-09 21:18:37 -0500 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-11-09 21:18:37 -0500 |
| commit | 11f0cdcc3ab2518ffcdb23426168ae74f48358c2 (patch) | |
| tree | 6bb1739cfb47497c5cbaa8a91f729e27c3bbe4ee /src/Util/ListUtil.v | |
| parent | 1dff827414482b7fc54fa6764bfd760a0ac93bde (diff) | |
More generalization of fieldwise'_Proper to dependent types
Diffstat (limited to 'src/Util/ListUtil.v')
0 files changed, 0 insertions, 0 deletions