HOL/IMP and HOLCF/IMP updated and converted (Gerwin Klein);
HOL/IMP and HOLCF/IMP updated and converted (Gerwin Klein);

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