diff options
| author | Michalis Pardalos <m.pardalos@gmail.com> | 2021-08-22 00:41:55 +0100 |
|---|---|---|
| committer | Michalis Pardalos <m.pardalos@gmail.com> | 2021-08-22 00:41:55 +0100 |
| commit | f2fc2ac70aeceec2f3f7137acba5c0bf7a342a17 (patch) | |
| tree | 4fdfd1eb539e6a50d5ce2f66bd595a6a0112fe43 /.gitignore | |
| parent | 1d52421edaec304a9a9e3c5a368af7af31e9ff3c (diff) | |
| download | vericert-f2fc2ac70aeceec2f3f7137acba5c0bf7a342a17.tar.gz vericert-f2fc2ac70aeceec2f3f7137acba5c0bf7a342a17.zip | |
Move list lemmas to own file
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions