# HG changeset patch
# User wenzelm
# Date 1209469172 -7200
# Node ID 72af85f6d70b7a52134df3267bbcac3073d5ae11
# Parent  e775accff967eaa09103c9181dd13c64d38fc8c6
session based on HOL;

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