removed obsolete skolem declarations -- done by Theory.at_end;
removed obsolete skolem declarations -- done by Theory.at_end;

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