Specification.theorem now also takes "interactive" flag as argument.
Specification.theorem now also takes "interactive" flag as argument.

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