doc-src/IsarOverview/Makefile

added revert_skolem, mk_def, add_def;
export: Goal.norm_hhf';
tuned;

#
# $Id$
#

## targets

default: dvi

## dependencies

dvi:
	cd Isar/document; make dvi

pdf:
	cd Isar/document; make pdf

clean:
	cd Isar/document; make clean

mrproper:
	rm -f *.pdf *.dvi
	cd Isar/document; make mrproper