| changeset 3369 | 51ed014406fa |
| parent 3354 | 3dac85693547 |
| child 3390 | 0c7625196d95 |
--- a/src/HOL/IsaMakefile Fri May 30 15:17:14 1997 +0200 +++ b/src/HOL/IsaMakefile Fri May 30 15:17:36 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 \ - Sexp Univ List RelPow Option + Divides Sexp Univ List RelPow Option PROVERS = hypsubst.ML classical.ML blast.ML \ simplifier.ML splitter.ML nat_transitive.ML