have_theorems etc.: handle multiple lists of arguments; added method_setup;
have_theorems etc.: handle multiple lists of arguments;
added method_setup;

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