summaryrefslogtreecommitdiff
path: root/tests/hol4/Makefile
diff options
context:
space:
mode:
authorSon Ho2024-04-11 20:22:26 +0200
committerSon Ho2024-04-11 20:22:26 +0200
commit2f8aa9b47acb5c98aed91c29b04f71099452e781 (patch)
tree810c6504b8e5b2fcde58841e25079d5e8c8e92ae /tests/hol4/Makefile
parent8cb83fd3bd1585f2a68a47580a55dfeee01d9f0a (diff)
Update a Lean file
Diffstat (limited to 'tests/hol4/Makefile')
0 files changed, 0 insertions, 0 deletions