changed reference to Lfp.lfp to FixedPint.lfp, ditto for gfp
changed reference to Lfp.lfp to FixedPint.lfp, ditto for gfp

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle