diff options
| author |  jadep <jade.philipoom@gmail.com> | 2016-07-06 14:01:41 -0400 |
|---|---|---|
| committer | jadep <jade.philipoom@gmail.com> | 2016-07-06 14:01:41 -0400 |
| commit | 9bf4094f3a9cba14c9106a2fb49c121540c1372e (patch) | |
| tree | 239687ef72592a0abd9ee02182ad86781ebe133d /src/Util/ListUtil.v | |
| parent | cc920cf2a3aa859a93e8e990a19a960f78cd3b1b (diff) | |
fixed indentation for new lemmas in ZUtil
Diffstat (limited to 'src/Util/ListUtil.v')
0 files changed, 0 insertions, 0 deletions