| changeset 3390 | 0c7625196d95 |
| parent 3369 | 51ed014406fa |
| child 3417 | 58ccb80eb50a |
--- a/src/HOL/IsaMakefile Tue Jun 03 10:53:58 1997 +0200 +++ b/src/HOL/IsaMakefile Tue Jun 03 10:56:04 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 Sexp Univ List RelPow Option + Divides Power Sexp Univ List RelPow Option PROVERS = hypsubst.ML classical.ML blast.ML \ simplifier.ML splitter.ML nat_transitive.ML