--- a/doc-src/IsarImplementation/IsaMakefile Tue Feb 07 18:56:40 2012 +0100
+++ b/doc-src/IsarImplementation/IsaMakefile Thu Feb 09 19:34:23 2012 +0100
@@ -21,10 +21,10 @@
Thy: $(LOG)/HOL-Thy.gz
-$(LOG)/HOL-Thy.gz: Thy/ROOT.ML Thy/Base.thy Thy/Integration.thy \
- Thy/Isar.thy Thy/Local_Theory.thy Thy/Logic.thy Thy/Prelim.thy \
- Thy/Proof.thy Thy/Syntax.thy Thy/Tactic.thy Thy/ML.thy \
- ../antiquote_setup.ML
+$(LOG)/HOL-Thy.gz: Thy/ROOT.ML Thy/Base.thy Thy/Eq.thy \
+ Thy/Integration.thy Thy/Isar.thy Thy/Local_Theory.thy Thy/Logic.thy \
+ Thy/Prelim.thy Thy/Proof.thy Thy/Syntax.thy Thy/Tactic.thy \
+ Thy/ML.thy ../antiquote_setup.ML
@$(USEDIR) HOL Thy
@rm -f Thy/document/isabelle.sty Thy/document/isabellesym.sty \
Thy/document/pdfsetup.sty Thy/document/session.tex