# HG changeset patch
# User nipkow
# Date 824720092 -3600
# Node ID c318e1bbeccaa9fabd2dd21c63c4329a532acb45
# Parent  ce37c64244c0cd915a60c9a9d182e298f6ef8625
Added dependency on RelPow

diff -r ce37c64244c0 -r c318e1bbecca 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\