| changeset 11755 | d12864826f4c |
| parent 11740 | 86ac4189a1c1 |
| child 11770 | b6bb7a853dd2 |
--- 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";