diff options
| author | Simon-Kor <52245124+Simon-Kor@users.noreply.github.com> | 2024-08-10 19:18:39 +0200 |
|---|---|---|
| committer | Simon-Kor <52245124+Simon-Kor@users.noreply.github.com> | 2024-08-10 19:18:39 +0200 |
| commit | 34aad4be8fb8433f0205517732da0d449d077572 (patch) | |
| tree | b926d3b4e42f92a89f18210490b8313f8d62e97a /test/golden/proofassume/tokenizing.golden | |
| parent | 894dd1c6e66099f65ebb8860e0cdf258fa143e89 (diff) | |
more more urysohn
Diffstat (limited to 'test/golden/proofassume/tokenizing.golden')
0 files changed, 0 insertions, 0 deletions