corrected output of symbols for several (probably not all) relevant functions moved print_mode to ROOT.ML
corrected output of symbols for several (probably not all) relevant functions
moved print_mode to ROOT.ML

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