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.
"HOL.mono";
authorwenzelm
Sun, 14 Oct 2001 20:05:07 +0200
changeset 11755 d12864826f4c
parent 11754 3928d990c22f
child 11756 8d8a87f350d6
"HOL.mono";
src/HOL/Tools/inductive_package.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/inductive_package.ML	Sun Oct 14 20:04:05 2001 +0200
+++ b/src/HOL/Tools/inductive_package.ML	Sun Oct 14 20:05:07 2001 +0200
@@ -67,7 +67,7 @@
 
 (** theory context references **)
 
-val mono_name = "Ord.mono";
+val mono_name = "HOL.mono";
 val gfp_name = "Gfp.gfp";
 val lfp_name = "Lfp.lfp";
 val vimage_name = "Inverse_Image.vimage";
isabelle