# HG changeset patch
# User paulson
# Date 888487677 -3600
# Node ID 941c9b169dc40db066fc4b49876106985775dd4f
# Parent  134d24ddaad3222de1eae5a93f2096891de94a71
New theory, Vimage

diff -r 134d24ddaad3 -r 941c9b169dc4 src/HOL/IsaMakefile
--- 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 \