src/HOL/IsaMakefile

   Finite.ML Finite.thy Fun.ML Fun.thy Gfp.ML Gfp.thy HOL.ML HOL.thy \
   Inductive.ML Inductive.thy Lfp.ML Lfp.thy List.ML List.thy Map.ML \
   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 \
   record.ML simpdata.ML subset.ML subset.thy thy_data.ML thy_syntax.ML \
   typedef.ML