summaryrefslogtreecommitdiff
path: root/tests/hol4/misc-loops/Holmakefile
diff options
context:
space:
mode:
authorSon Ho2024-04-12 08:48:13 +0200
committerSon Ho2024-04-12 08:48:13 +0200
commit502f25a653a0afe7787b92a3004374e7670ea69b (patch)
treec85831d9d4bae5116cda6261befafdc229303205 /tests/hol4/misc-loops/Holmakefile
parent604b450a1a6d9aa364b5acbad460ec3d4d7822e4 (diff)
Update the bindings for the extraction
Diffstat (limited to 'tests/hol4/misc-loops/Holmakefile')
0 files changed, 0 insertions, 0 deletions