goals/print_top,prepare_proof: now call \!print_goals_ref
goals/print_top,prepare_proof: now call \!print_goals_ref

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