--- a/src/HOL/IsaMakefile Thu Feb 26 11:07:37 1998 +0100
+++ b/src/HOL/IsaMakefile Thu Feb 26 11:07:57 1998 +0100
@@ -44,7 +44,8 @@
Map.thy Nat.ML Nat.thy NatDef.ML NatDef.thy Option.ML Option.thy \
Ord.ML Ord.thy Power.ML Power.thy Prod.ML Prod.thy ROOT.ML RelPow.ML \
RelPow.thy Relation.ML Relation.thy Set.ML Set.thy Sexp.ML Sexp.thy \
- Sum.ML Sum.thy Trancl.ML Trancl.thy Univ.ML Univ.thy WF.ML WF.thy \
+ Sum.ML Sum.thy Trancl.ML Trancl.thy Univ.ML Univ.thy \
+ Vimage.ML Vimage.thy WF.ML WF.thy \
WF_Rel.ML WF_Rel.thy add_ind_def.ML arith_data.ML cladata.ML \
datatype.ML equalities.ML equalities.thy hologic.ML ind_syntax.ML \
indrule.ML indrule.thy intr_elim.ML intr_elim.thy mono.ML mono.thy \