* ZF/IMP: updated and converted to new-style theory format;
* ZF/IMP: updated and converted to new-style theory format;

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