INCLUDES = $(OTTDIR)/hol $(OTTDIR)/examples/ocaml_light $(OTTDIR)/examples/ocaml_light/hol

all: $(DEFAULT_TARGETS)
.PHONY: all
