axclass: name space prefix is now "c_class" instead of just "c"; typedef: proper support for polymorphic sets;
axclass: name space prefix is now "c_class" instead of just "c";
typedef: proper support for polymorphic sets;

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