src/HOL/Makefile
changeset 1513 c318e1bbecca
parent 1491 38a14548baad
child 1620 5bddaab64e0a
     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\