src/ZF/Makefile

--- a/src/ZF/Makefile	Wed May 08 17:43:23 1996 +0200
+++ b/src/ZF/Makefile	Wed May 08 17:49:16 1996 +0200
@@ -23,7 +23,7 @@
 COMP = $(ISABELLECOMP)
 NAMES = ZF upair subset pair domrange \
 	func AC simpdata equalities Bool \
-	Sum QPair mono Fixedpt ind_syntax add_ind_def \
+	Sum QPair mono Fixedpt ind_syntax cartprod add_ind_def \
 	constructor intr_elim indrule Inductive Perm Rel EquivClass Trancl \
 	WF Order Ordinal Epsilon Arith Univ \
 	QUniv Datatype OrderArith OrderType \