put_name/thm_proof: promises are filled with fulfilled proofs; tuned;
put_name/thm_proof: promises are filled with fulfilled proofs;
tuned;

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