include ../Makefile-subdirs
DIRS = invclock soundness completeness counterexamples