replaced classes by all_classes (topologically sorted); added minimal_classes;
replaced classes by all_classes (topologically sorted);
added minimal_classes;

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