Cross Reference: /hets/HolLight/Makefile

	Makefile revision 825a1e4ca1e768de4b4883c65a6cb1dce6aa0002
# $Id$

.PHONY: check

check: hets
    ../hets -v2 -t HolLight2Isabelle -o thy example_binom.hol
    ../utils/nightly/runisabelle.sh *.thy > hol2isa.log 2>1

%:
    (cd ..; $(MAKE) $@)