Added dependency on RelPow
authornipkow
Mon, 19 Feb 1996 09:54:52 +0100
changeset 1513 c318e1bbecca
parent 1512 ce37c64244c0
child 1514 3e262b1c0b6c
Added dependency on RelPow
src/HOL/Makefile
--- a/src/HOL/Makefile	Fri Feb 16 18:00:47 1996 +0100
+++ b/src/HOL/Makefile	Mon Feb 19 09:54:52 1996 +0100
@@ -22,7 +22,7 @@
 BIN = $(ISABELLEBIN)
 COMP = $(ISABELLECOMP)
 NAMES = HOL Ord Set Fun subset equalities Prod Relation Trancl Sum WF \
-       mono Lfp Gfp Nat Inductive Finite Arith Sexp Univ List 
+       mono Lfp Gfp Nat Inductive Finite Arith Sexp Univ List RelPow
 
 FILES = ROOT.ML add_ind_def.ML datatype.ML hologic.ML\
 	ind_syntax.ML indrule.ML intr_elim.ML simpdata.ML\