summaryrefslogtreecommitdiff
path: root/tests/hol4/misc-loops/Holmakefile
diff options
context:
space:
mode:
authorSon Ho2023-12-21 17:00:52 +0100
committerSon Ho2023-12-21 17:00:52 +0100
commitd4b3d0e6adae5bb9a2f62872dbcedc29aaa9fa30 (patch)
treef26f591884621ba089c3f606d92c0daf8bcf35c9 /tests/hol4/misc-loops/Holmakefile
parentcf3eea59ee61f2341daf7248664b8be878f128af (diff)
Filter the useless backward functions
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions