Complete_Partial_Order.thy: complete partial orders over arbitrary chains, with fixpoint theorem
Complete_Partial_Order.thy: complete partial orders over arbitrary chains, with fixpoint theorem

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