Interpretation equations applied to attributes; code cleanup in read_instantiations
Interpretation equations applied to attributes;
code cleanup in read_instantiations

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