uses Sign.str_of_classrel, Sign.str_of_arity, Sign.str_of_arity;
uses Sign.str_of_classrel, Sign.str_of_arity, Sign.str_of_arity;

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