# HG changeset patch
# User paulson
# Date 831570556 -7200
# Node ID 89dd6ca7ee6ceee8c469064cdc08f2d116ab579f
# Parent  38776e927da8d78235b88be0da57418fada31b7e
Added new name cartprod

diff -r 38776e927da8 -r 89dd6ca7ee6c 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 \