- tuned text function - Replaced quote by Library.quote, since quote now refers to Symbol.quote
- tuned text function
- Replaced quote by Library.quote, since quote now refers to Symbol.quote

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