diff -r 3a1aef73b2b2 -r aea5d7fa7ef5 doc-src/IsarImplementation/IsaMakefile
--- a/doc-src/IsarImplementation/IsaMakefile	Wed Mar 04 11:05:02 2009 +0100
+++ b/doc-src/IsarImplementation/IsaMakefile	Wed Mar 04 11:05:29 2009 +0100
@@ -21,9 +21,10 @@
 
 Thy: $(LOG)/Pure-Thy.gz
 
-$(LOG)/Pure-Thy.gz: Thy/ROOT.ML Thy/base.thy Thy/integration.thy Thy/isar.thy \
-  Thy/locale.thy Thy/logic.thy Thy/prelim.thy Thy/proof.thy Thy/tactic.thy \
-  Thy/ML.thy ../antiquote_setup.ML
+$(LOG)/Pure-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
 	@$(USEDIR) Pure Thy