fixed attribute name in docs (thanks to Andreas Lochbihler)
fixed attribute name in docs (thanks to Andreas Lochbihler)

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