# HG changeset patch
# User wenzelm
# Date 1003082707 -7200
# Node ID d12864826f4cb7828e8f454b62169424be6f9a6a
# Parent  3928d990c22ff81f97eef70588d4c476af30f89f
"HOL.mono";

diff -r 3928d990c22f -r d12864826f4c src/HOL/Tools/inductive_package.ML
--- 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";