--- a/lib/texinputs/isabellesym.sty Fri Dec 13 16:49:08 2002 +0100
+++ b/lib/texinputs/isabellesym.sty Fri Dec 13 18:14:25 2002 +0100
@@ -336,8 +336,8 @@
\newcommand{\isasymeuro}{\isatext{\EUR}} %requires marvosym
\newcommand{\isasympounds}{\isamath{\pounds}}
\newcommand{\isasymyen}{\isatext{\yen}} %requires amssymb
-\newcommand{\isasymcent}{\isatext{\cent}} %requires wasysym
-\newcommand{\isasymcurrency}{\isatext{\currency}} %requires wasysym
+\newcommand{\isasymcent}{\isatext{\textcent}} %requires textcomp
+\newcommand{\isasymcurrency}{\isatext{\textcurrency}} %requires textcomp
\newcommand{\isasymdegree}{\isatext{\rm\textdegree}} %requires latin1
\newcommand{\isasymamalg}{\isamath{\amalg}}
\newcommand{\isasymmho}{\isamath{\mho}} %requires latexsym