summaryrefslogtreecommitdiff
path: root/tests/hol4
diff options
context:
space:
mode:
authorSon Ho2023-07-17 12:14:03 +0200
committerSon Ho2023-07-17 12:14:03 +0200
commitd45c6ed9e8049b81170c3e6950043d08006ba9f2 (patch)
treeeb15b4cc1d1d175bf7737d1e12442a4df01e0bc1 /tests/hol4
parent4f7ebc2358d78d31d63a609a32e5a732b82d468e (diff)
Move a definition
Diffstat (limited to 'tests/hol4')
0 files changed, 0 insertions, 0 deletions