convenient syntax for setting provers -- useful for debugging, not for general consumption and hence not documented
convenient syntax for setting provers -- useful for debugging, not for general consumption and hence not documented

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