| changeset 3222 | 726a9b069947 |
| parent 3218 | 44f01b718eab |
| child 3232 | 19a2b853ba7b |
--- a/src/HOL/IsaMakefile Fri May 16 17:14:55 1997 +0200 +++ b/src/HOL/IsaMakefile Fri May 16 17:40:41 1997 +0200 @@ -10,7 +10,7 @@ NAMES = HOL Ord Set Fun subset equalities Prod Relation Trancl Sum WF WF_Rel \ mono Lfp Gfp NatDef Nat intr_elim indrule Inductive Finite Arith \ - Psubset Sexp Univ List RelPow Option + Sexp Univ List RelPow Option FILES = ROOT.ML add_ind_def.ML datatype.ML hologic.ML \ ind_syntax.ML cladata.ML simpdata.ML \