| changeset 3981 | b4f93a8da835 |
| parent 3819 | 5a6a6f18b109 |
| child 4081 | f759352f669f |
--- a/src/HOL/IsaMakefile Thu Oct 23 12:49:16 1997 +0200 +++ b/src/HOL/IsaMakefile Fri Oct 24 10:31:31 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 \ - Divides Power Sexp Univ List RelPow Option + Divides Power Sexp Univ List RelPow Option Map PROVERS = hypsubst.ML classical.ML blast.ML \ simplifier.ML splitter.ML nat_transitive.ML