Cross Reference: /hets/HolLight/Makefile

	Makefile revision c8012b9719c73f08418af7a0b4ba28fa1d200631
# $Id$

.PHONY: check

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

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