null

	Makefile revision 1a38107941725211e7c3f051f7a8f5e12199f03a
# $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) $@)