removed obsolete term reading operations (cf. old_goals.ML for legacy emulations);
removed obsolete term reading operations (cf. old_goals.ML for legacy emulations);

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