disable interactive mode of Specification.theorem with its slow printing of results;
disable interactive mode of Specification.theorem with its slow printing of results;

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