Makes interactive proof scripting recognize the show_all_types flag.
Makes interactive proof scripting recognize the show_all_types flag.

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