diff options
| author |  Jason Gross <jgross@mit.edu> | 2018-12-04 17:27:57 -0500 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2018-12-04 17:27:57 -0500 |
| commit | d95d40c8ce97491b9adeae8466f9bc41526d0c01 (patch) | |
| tree | 6e8e4604143c3edf9dcfcb4eb119e227258dcd67 /src/Util/ListUtil.v | |
| parent | 3fd9d15cfeb0b3c5de09c7a53e0fb91033fee908 (diff) | |
Add more Forall2 lemmas
Diffstat (limited to 'src/Util/ListUtil.v')
0 files changed, 0 insertions, 0 deletions