diff options
| author |  Jade Philipoom <jadep@mit.edu> | 2015-11-17 13:32:06 -0500 |
|---|---|---|
| committer | Jade Philipoom <jadep@mit.edu> | 2015-11-17 13:32:06 -0500 |
| commit | 7e6921c24803c32c6366603f9c9491de87e0cd58 (patch) | |
| tree | a5c3487fd89c3846d6a52f1bc13e24d165f79733 /src/Util/ListUtil.v | |
| parent | 760c1443836e990287b576b24dcb1902f7d081d5 (diff) | |
ModularBaseSystem: introduced lemmas about breaking lists; working on carry_rep_reduce.
Diffstat (limited to 'src/Util/ListUtil.v')
0 files changed, 0 insertions, 0 deletions