Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Added new name cartprod
authorpaulson
Wed, 08 May 1996 17:49:16 +0200
changeset 1733 89dd6ca7ee6c
parent 1732 38776e927da8
child 1734 604da1a11a99
Added new name cartprod
src/ZF/Makefile file | annotate | diff | comparison | revisions 
--- 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 \
isabelle