src/HOL/IsaMakefile
changeset 4657 941c9b169dc4
parent 4518 74c01296e818
child 4707 abe6f28a38c1
     1.1 --- a/src/HOL/IsaMakefile	Thu Feb 26 11:07:37 1998 +0100
     1.2 +++ b/src/HOL/IsaMakefile	Thu Feb 26 11:07:57 1998 +0100
     1.3 @@ -44,7 +44,8 @@
     1.4    Map.thy Nat.ML Nat.thy NatDef.ML NatDef.thy Option.ML Option.thy \
     1.5    Ord.ML Ord.thy Power.ML Power.thy Prod.ML Prod.thy ROOT.ML RelPow.ML \
     1.6    RelPow.thy Relation.ML Relation.thy Set.ML Set.thy Sexp.ML Sexp.thy \
     1.7 -  Sum.ML Sum.thy Trancl.ML Trancl.thy Univ.ML Univ.thy WF.ML WF.thy \
     1.8 +  Sum.ML Sum.thy Trancl.ML Trancl.thy Univ.ML Univ.thy \
     1.9 +  Vimage.ML Vimage.thy WF.ML WF.thy \
    1.10    WF_Rel.ML WF_Rel.thy add_ind_def.ML arith_data.ML cladata.ML \
    1.11    datatype.ML equalities.ML equalities.thy hologic.ML ind_syntax.ML \
    1.12    indrule.ML indrule.thy intr_elim.ML intr_elim.thy mono.ML mono.thy \