diff -r e775accff967 -r 72af85f6d70b doc-src/IsarRef/IsaMakefile
--- a/doc-src/IsarRef/IsaMakefile	Mon Apr 28 20:21:11 2008 +0200
+++ b/doc-src/IsarRef/IsaMakefile	Tue Apr 29 13:39:32 2008 +0200
@@ -19,14 +19,14 @@
 
 ## Thy
 
-Thy: $(LOG)/Pure-Thy.gz
+Thy: $(LOG)/HOL-Thy.gz
 
-$(LOG)/Pure-Thy.gz: Thy/ROOT.ML ../antiquote_setup.ML Thy/intro.thy \
+$(LOG)/HOL-Thy.gz: Thy/ROOT.ML ../antiquote_setup.ML Thy/intro.thy \
   Thy/syntax.thy
-	@$(USEDIR) Pure Thy
+	@$(USEDIR) HOL Thy
 
 
 ## clean
 
 clean:
-	@rm -f $(LOG)/Pure-Thy.gz
+	@rm -f $(LOG)/HOL-Thy.gz