diff options
| author | Simon-Kor <52245124+Simon-Kor@users.noreply.github.com> | 2024-08-31 18:02:42 +0200 |
|---|---|---|
| committer | Simon-Kor <52245124+Simon-Kor@users.noreply.github.com> | 2024-08-31 18:02:42 +0200 |
| commit | 26cf156763f71aaa9f638408ba4bffb85b886ab0 (patch) | |
| tree | 811818ed0cf77543cadaf8017fba1f0d398426b4 /source/Tptp/UnsortedFirstOrder.hs | |
| parent | 8155ba18260743b1e45507e6fb8d4f80c22c425e (diff) | |
working commit
Diffstat (limited to 'source/Tptp/UnsortedFirstOrder.hs')
0 files changed, 0 insertions, 0 deletions