legacy_infer_term: ProofContext.mode_schematic;
legacy_infer_term: ProofContext.mode_schematic;

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