diff options
| author |  Jade Philipoom <jadep@google.com> | 2018-02-16 18:14:45 +0100 |
|---|---|---|
| committer |  Jason Gross <jasongross9@gmail.com> | 2018-02-23 13:06:33 -0500 |
| commit | b54acb5b7012a8e4540e29c68d6f10f32b88009f (patch) | |
| tree | 442e6a171e11faab0e21f633e8f5f7074c3347f3 /src/Util/ZUtil.v | |
| parent | d7d0291ede8da73e78a78237d77ce0f33742c109 (diff) | |
add two proofs about lists
Diffstat (limited to 'src/Util/ZUtil.v')
0 files changed, 0 insertions, 0 deletions