treat non-canonical interpretations of classes the same way as ordinary locale interpretations
treat non-canonical interpretations of classes the same way as ordinary locale interpretations

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