added export: thm -> thm; exported print_current_goals_default; locale support;
added export: thm -> thm;
exported print_current_goals_default;
locale support;

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