USEDIR = $(ISABELLE_TOOL) usedir -v true -i false -d false

$(OUT)/MAPPED_SEP: *.thy *.ML
	$(USEDIR) -f ROOT.ML -b HOL MAPPED_SEP

MAPPED_SEP: $(OUT)/MAPPED_SEP

.PHONY: clean map_sep_clean
clean: map_sep_clean

map_sep_clean: