13 SRC = $(ISABELLE_HOME)/src
14 OUT = $(ISABELLE_OUTPUT)
17 USEDIR = $(ISABELLE_TOOL) usedir -v true -i false -d false -C false -D document
22 Thy: $(LOG)/Pure-Thy.gz
24 $(LOG)/Pure-Thy.gz: Thy/ROOT.ML Thy/Base.thy Thy/Integration.thy \
25 Thy/Isar.thy Thy/Local_Theory.thy Thy/Logic.thy Thy/Prelim.thy \
26 Thy/Proof.thy Thy/Syntax.thy Thy/Tactic.thy Thy/ML.thy \
29 @rm -f Thy/document/isabelle.sty Thy/document/isabellesym.sty \
30 Thy/document/pdfsetup.sty Thy/document/session.tex
36 @rm -f $(LOG)/Pure-Thy.gz