Interpretation equations may have name and/or attribute;   improved printing of types in interpretations.
Interpretation equations may have name and/or attribute;
  improved printing of types in interpretations.

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