simplified Proof.theorem(_i) interface; simplified goal kind output;
simplified Proof.theorem(_i) interface;
simplified goal kind output;

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