* Pure/axclass: removed obsolete ML interface goal_subclass/goal_arity;
* Pure/axclass: removed obsolete ML interface goal_subclass/goal_arity;

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