thms/axms_of_proof: proper handling of MinProof;
thms/axms_of_proof: proper handling of MinProof;

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