ML pretty printer for proof terms, with specifica treatment of infix application (similar to terms);
ML pretty printer for proof terms, with specifica treatment of infix application (similar to terms);

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