HOLCF/Lift1.thy: now imports Sum
HOLCF/Lift1.thy: now imports Sum

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