Generalized gfp and lfp to arbitrary complete lattices.
Generalized gfp and lfp to arbitrary complete lattices.

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