diff -r 1d963bfd4a1b -r ec46381f149d doc-src/IsarRef/IsaMakefile
--- a/doc-src/IsarRef/IsaMakefile	Wed May 07 10:59:54 2008 +0200
+++ b/doc-src/IsarRef/IsaMakefile	Wed May 07 12:38:55 2008 +0200
@@ -1,9 +1,9 @@
 
 ## targets
 
-default: Thy
+default: HOL-IsarRef HOLCF-IsarRef ZF-IsarRef
 images: 
-test: Thy
+test: HOL-IsarRef HOLCF-IsarRef ZF-IsarRef
 
 all: images test
 
@@ -17,16 +17,28 @@
 USEDIR = $(ISATOOL) usedir -v true -i false -d false -C false -D document
 
 
-## Thy
+## IsarRef sessions
+
+HOL-IsarRef: $(LOG)/HOL-IsarRef.gz
 
-Thy: $(LOG)/HOL-Thy.gz
+$(LOG)/HOL-IsarRef.gz: Thy/ROOT.ML ../antiquote_setup.ML Thy/intro.thy \
+  Thy/syntax.thy Thy/pure.thy Thy/Generic.thy Thy/Quick_Reference.thy
+	@$(USEDIR) -s IsarRef HOL Thy
+
 
-$(LOG)/HOL-Thy.gz: Thy/ROOT.ML ../antiquote_setup.ML Thy/intro.thy \
-  Thy/syntax.thy Thy/pure.thy Thy/Generic.thy Thy/Quick_Reference.thy
-	@$(USEDIR) HOL Thy
+HOLCF-IsarRef: $(LOG)/HOLCF-IsarRef.gz
+
+$(LOG)/HOLCF-IsarRef.gz: Thy/ROOT-HOLCF.ML ../antiquote_setup.ML Thy/HOLCF_Specific.thy
+	@$(USEDIR) -s IsarRef -f ROOT-HOLCF.ML HOLCF Thy
+
+
+ZF-IsarRef: $(LOG)/ZF-IsarRef.gz
+
+$(LOG)/ZF-IsarRef.gz: Thy/ROOT-ZF.ML ../antiquote_setup.ML Thy/ZF_Specific.thy
+	@$(USEDIR) -s IsarRef -f ROOT-ZF.ML ZF Thy
 
 
 ## clean
 
 clean:
-	@rm -f $(LOG)/HOL-Thy.gz
+	@rm -f $(LOG)/HOL-IsarRef.gz $(LOG)/HOLCF-IsarRef.gz $(LOG)/ZF-IsarRef.gz