diff options
| author | Simon-Kor <52245124+Simon-Kor@users.noreply.github.com> | 2024-08-12 00:12:07 +0200 |
|---|---|---|
| committer | Simon-Kor <52245124+Simon-Kor@users.noreply.github.com> | 2024-08-12 00:12:07 +0200 |
| commit | c4894bc4e788fae079b76b824a8d86c167098cc8 (patch) | |
| tree | fc0130e5d819ab3010eba34c0b909b0781d52fd5 /test/golden/indefinite-terms/verification.golden | |
| parent | e9fa2c5d9539067d9ecce52bbbccacdfd020c563 (diff) | |
more more way more urysohn
Diffstat (limited to 'test/golden/indefinite-terms/verification.golden')
0 files changed, 0 insertions, 0 deletions