Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Set.vimage;
authorwenzelm
Wed, 21 Nov 2001 00:34:06 +0100
changeset 12259 3949e7aba298
parent 12258 5da24e7e9aba
child 12260 4898247d0102
Set.vimage;
src/HOL/Tools/inductive_package.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/inductive_package.ML	Wed Nov 21 00:33:40 2001 +0100
+++ b/src/HOL/Tools/inductive_package.ML	Wed Nov 21 00:34:06 2001 +0100
@@ -68,7 +68,7 @@
 val mono_name = "HOL.mono";
 val gfp_name = "Gfp.gfp";
 val lfp_name = "Lfp.lfp";
-val vimage_name = "Inverse_Image.vimage";
+val vimage_name = "Set.vimage";
 val Const _ $ (vimage_f $ _) $ _ = HOLogic.dest_Trueprop (Thm.concl_of vimageD);
 
 val inductive_forall_name = "HOL.induct_forall";
isabelle