null

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