replaced Sign.classes by Sign.all_classes (topologically sorted); prefer structure Sign over Sorts;
replaced Sign.classes by Sign.all_classes (topologically sorted);
prefer structure Sign over Sorts;

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