operate on Proof.state, not Toplevel.state; moved setup to ATP_Linkup.thy;
operate on Proof.state, not Toplevel.state;
moved setup to ATP_Linkup.thy;

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