author | nipkow |
Mon, 19 Feb 1996 09:54:52 +0100 | |
changeset 1513 | c318e1bbecca |
parent 1512 | ce37c64244c0 |
child 1514 | 3e262b1c0b6c |
src/HOL/Makefile | file | annotate | diff | comparison | revisions |
--- 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\