closer relation of sets and complete lattices; corresponding consts, defs and syntax at similar places in theory text
closer relation of sets and complete lattices; corresponding consts, defs and syntax at similar places in theory text

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