cent/currency: changed from wasysym to textcomp because of PDF problems
cent/currency: changed from wasysym to textcomp because of PDF problems

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