null

	Makefile revision 23d36f448c5a8c02972d7f5de8713738bd9327fb
# $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) $@)