equal
deleted
inserted
replaced
19 |
19 |
20 ## sessions |
20 ## sessions |
21 |
21 |
22 Thy: $(LOG)/HOL-Thy.gz |
22 Thy: $(LOG)/HOL-Thy.gz |
23 |
23 |
24 $(LOG)/HOL-Thy.gz: Thy/ROOT.ML Thy/Base.thy Thy/Integration.thy \ |
24 $(LOG)/HOL-Thy.gz: Thy/ROOT.ML Thy/Base.thy Thy/Eq.thy \ |
25 Thy/Isar.thy Thy/Local_Theory.thy Thy/Logic.thy Thy/Prelim.thy \ |
25 Thy/Integration.thy Thy/Isar.thy Thy/Local_Theory.thy Thy/Logic.thy \ |
26 Thy/Proof.thy Thy/Syntax.thy Thy/Tactic.thy Thy/ML.thy \ |
26 Thy/Prelim.thy Thy/Proof.thy Thy/Syntax.thy Thy/Tactic.thy \ |
27 ../antiquote_setup.ML |
27 Thy/ML.thy ../antiquote_setup.ML |
28 @$(USEDIR) HOL Thy |
28 @$(USEDIR) HOL Thy |
29 @rm -f Thy/document/isabelle.sty Thy/document/isabellesym.sty \ |
29 @rm -f Thy/document/isabelle.sty Thy/document/isabellesym.sty \ |
30 Thy/document/pdfsetup.sty Thy/document/session.tex |
30 Thy/document/pdfsetup.sty Thy/document/session.tex |
31 |
31 |
32 |
32 |