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