summaryrefslogtreecommitdiff
path: root/tests/coq/betree
diff options
context:
space:
mode:
authorSon Ho2024-04-26 10:44:23 +0200
committerSon Ho2024-04-26 10:44:23 +0200
commitfe8d14cd8b7ba907d5248d574619e93e6d1d253a (patch)
tree1c5d0e4ee46f4af7bb4dca48c6c8ae10f603b123 /tests/coq/betree
parent192b0e492c07a8bc5900ba6ebe6eae36a7120a28 (diff)
Update the decreases clauses for the betree
Diffstat (limited to 'tests/coq/betree')
0 files changed, 0 insertions, 0 deletions