diff -r 74c1b51c1cd9 -r 24dae6222579 src/CCL/IsaMakefile
--- a/src/CCL/IsaMakefile	Tue May 06 15:24:41 1997 +0200
+++ b/src/CCL/IsaMakefile	Tue May 06 15:27:35 1997 +0200
@@ -4,7 +4,7 @@
 # IsaMakefile for CCL
 #
 
-OUT = $(ISABELLE_OUTPUT_DIR)
+OUT = $(ISABELLE_OUTPUT)
 
 SET_FILES = ROOT.ML Set.thy Set.ML subset.ML equalities.ML mono.ML \
 	    Gfp.thy Gfp.ML Lfp.thy Lfp.ML