deleted "escape" and "trim"; Basis Library can do string escapes if necessary
deleted "escape" and "trim"; Basis Library can do string escapes if necessary

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