src/HOL/Tools/inductive_package.ML
changeset 15525 396268ad58b3
parent 15463 95cb3eb74307
child 15531 08c8dad8e399
     1.1 --- a/src/HOL/Tools/inductive_package.ML	Thu Feb 10 18:51:12 2005 +0100
     1.2 +++ b/src/HOL/Tools/inductive_package.ML	Thu Feb 10 18:51:54 2005 +0100
     1.3 @@ -64,7 +64,7 @@
     1.4  
     1.5  (** theory context references **)
     1.6  
     1.7 -val mono_name = "HOL.mono";
     1.8 +val mono_name = "Orderings.mono";
     1.9  val gfp_name = "Gfp.gfp";
    1.10  val lfp_name = "Lfp.lfp";
    1.11  val vimage_name = "Set.vimage";