summaryrefslogtreecommitdiff
path: root/tests/hol4/paper/Holmakefile
diff options
context:
space:
mode:
authorSon Ho2024-05-30 22:37:08 +0200
committerSon Ho2024-05-30 22:37:08 +0200
commit7e50cacd736fc85930bd22689fb7e2b61ddda794 (patch)
tree4a10d99539c103317a501ab21ab56c041e27141a /tests/hol4/paper/Holmakefile
parent4b87c34cb91485bae744cd5aa42d63493686fdd3 (diff)
Remove the cps.eval_result type
Diffstat (limited to 'tests/hol4/paper/Holmakefile')
0 files changed, 0 insertions, 0 deletions