Holmakefile « misc-loops « hol4 « tests - aeneas - aeneas rust verifier with a hacky Isabelle backend

summary refs log tree commit diff

path: root/tests/hol4/misc-loops/Holmakefile

blob: 3c4b8973906a55d7e631336ae40e9514e41e39c4 (plain)

# This file was automatically generated - modify ../Holmakefile.template instead
INCLUDES =  ../../../backends/hol4

all: $(DEFAULT_TARGETS)
.PHONY: all