--- a/src/ZF/IsaMakefile Tue May 06 15:24:41 1997 +0200
+++ b/src/ZF/IsaMakefile Tue May 06 15:27:35 1997 +0200
@@ -6,7 +6,7 @@
#### Base system
-OUT = $(ISABELLE_OUTPUT_DIR)
+OUT = $(ISABELLE_OUTPUT)
NAMES = ZF upair subset pair domrange \
func AC equalities Bool \