diff options
author | Son Ho | 2024-04-26 10:28:32 +0200 |
---|---|---|
committer | Son Ho | 2024-04-26 10:28:32 +0200 |
commit | dbabb0124814c38f11f839f8a67146011107133d (patch) | |
tree | bd780ce7568b620c0e3ab3783c99c210e3445236 /tests/coq/arrays | |
parent | 036756d6bddbcf9bc936489779ed36c7e4d22d14 (diff) |
Update a decreases clause
Diffstat (limited to 'tests/coq/arrays')
0 files changed, 0 insertions, 0 deletions