renamed IsarThy.hide_space to IsarThy.hide_names;
renamed IsarThy.hide_space to IsarThy.hide_names;

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