added simple_arity, spec_name, spec_opt_name; tuned thm_name; xthms1: no 'and' separators;
added simple_arity, spec_name, spec_opt_name;
tuned thm_name;
xthms1: no 'and' separators;

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