summaryrefslogtreecommitdiff
path: root/tests/hol4/paper
diff options
context:
space:
mode:
authorSon Ho2024-06-12 14:46:38 +0200
committerSon Ho2024-06-12 14:46:38 +0200
commitf5deac2b0f42e2a87fc26da50c902729e0ed1039 (patch)
treed5d0776dbfe36bed45fe91b07078b44ca4429eab /tests/hol4/paper
parent191927e2fd21cf94501ac4f4968b09d110043d33 (diff)
Slightly simplify the progress tactic
Diffstat (limited to 'tests/hol4/paper')
0 files changed, 0 insertions, 0 deletions