summaryrefslogtreecommitdiff
path: root/tests/hol4/misc-external
diff options
context:
space:
mode:
authorSon Ho2023-10-17 10:36:15 +0200
committerSon Ho2023-10-17 10:44:20 +0200
commit61368028027a7c160c33b05ec605c26833212667 (patch)
treea841ad12878ec4f9314b2af17f1a774b41b6dd7b /tests/hol4/misc-external
parent584726e9c4e4378129a35f6cfbbbf934448d10a9 (diff)
Refold the scalar types when applying progress
Diffstat (limited to 'tests/hol4/misc-external')
0 files changed, 0 insertions, 0 deletions