Replaced quote by Library.quote, since quote now refers to Symbol.quote
Replaced quote by Library.quote, since quote now refers to Symbol.quote

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