--- a/lib/texinputs/isabellesym.sty Tue Jan 09 15:36:30 2001 +0100
+++ b/lib/texinputs/isabellesym.sty Tue Jan 09 23:48:30 2001 +0100
@@ -288,4 +288,8 @@
\newcommand{\isasymmho}{\isamath{\mho}} %requires latexsym
\newcommand{\isasymlozenge}{\isamath{\lozenge}} %requires amssym
\newcommand{\isasymJoin}{\isamath{\Join}} %requires latexsym
+\newcommand{\isasymacute}{\isatext{\'\relax}}
+\newcommand{\isasymcedilla}{\isatext{\c\relax}}
+\newcommand{\isasymdieresis}{\isatext{\"\relax}}
+\newcommand{\isasymhungarumlaut}{\isatext{\H\relax}}
\newcommand{\isasymspacespace}{\isamath{~~}}