# HG changeset patch # User nipkow # Date 1108057914 -3600 # Node ID 396268ad58b30beb0164da0b841565def76e2168 # Parent 2ef571f80a552f57fe40401c6937dc97728360f9 HOL.order -> Orderings.order due to restructering diff -r 2ef571f80a55 -r 396268ad58b3 src/HOL/Tools/inductive_package.ML --- a/src/HOL/Tools/inductive_package.ML Thu Feb 10 18:51:12 2005 +0100 +++ b/src/HOL/Tools/inductive_package.ML Thu Feb 10 18:51:54 2005 +0100 @@ -64,7 +64,7 @@ (** theory context references **) -val mono_name = "HOL.mono"; +val mono_name = "Orderings.mono"; val gfp_name = "Gfp.gfp"; val lfp_name = "Lfp.lfp"; val vimage_name = "Set.vimage";