# HG changeset patch
# User avigad
# Date 1123073302 -7200
# Node ID 5abc26872268bb859c8f2b7b05a5e5dfd996cd8b
# Parent  932e0e370926de9d8f4ed1f8e672bb880e9dc5bb
changed reference to Lfp.lfp to FixedPint.lfp, ditto for gfp

diff -r 932e0e370926 -r 5abc26872268 src/HOL/Tools/inductive_package.ML
--- a/src/HOL/Tools/inductive_package.ML	Wed Aug 03 14:48:13 2005 +0200
+++ b/src/HOL/Tools/inductive_package.ML	Wed Aug 03 14:48:22 2005 +0200
@@ -65,8 +65,8 @@
 (** theory context references **)
 
 val mono_name = "Orderings.mono";
-val gfp_name = "Gfp.gfp";
-val lfp_name = "Lfp.lfp";
+val gfp_name = "FixedPoint.gfp";
+val lfp_name = "FixedPoint.lfp";
 val vimage_name = "Set.vimage";
 val Const _ $ (vimage_f $ _) $ _ = HOLogic.dest_Trueprop (Thm.concl_of vimageD);