added print_mode setup (from pretty.ML); removed no_state;
added print_mode setup (from pretty.ML);
removed no_state;

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