diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2020-07-10 16:42:56 -0700 |
---|---|---|
committer | Andres Noetzli <andres.noetzli@gmail.com> | 2020-07-10 16:42:56 -0700 |
commit | 431a8901f8e63dd81787e2928e14287eabf433ec (patch) | |
tree | 93688a6fa2faefd628626718851c1ed2ab628b69 /test/regress/CMakeLists.txt | |
parent | 55767b9620f18763b7b56ecefa954202d35fe2d3 (diff) |
Send explanation lemmasendExplLemma
Diffstat (limited to 'test/regress/CMakeLists.txt')
0 files changed, 0 insertions, 0 deletions