improved the code for showing that a type is in the pt-axclass (I try to slowly overcome my incompetence with such ML-code).
improved the code for showing that a type is
in the pt-axclass (I try to slowly overcome
my incompetence with such ML-code).

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