--- a/doc-src/AxClass/generated/isabellesym.sty Tue Nov 13 22:25:59 2001 +0100
+++ b/doc-src/AxClass/generated/isabellesym.sty Tue Nov 13 22:36:38 2001 +0100
@@ -336,7 +336,8 @@
\newcommand{\isasymwrong}{\isamath{\wr}}
\newcommand{\isasymspacespace}{\isamath{~~}}
\newcommand{\isasymacute}{\isatext{\'\relax}}
+\newcommand{\isasymdieresis}{\isatext{\"\relax}}
\newcommand{\isasymstruct}{\isamath{\diamond}}
-\newcommand{\isasymdieresis}{\isatext{\"\relax}}
+\newcommand{\isasymindex}{\isamath{\i}}
\newcommand{\isasymcedilla}{\isatext{\c\relax}}
\newcommand{\isasymhungarumlaut}{\isatext{\H\relax}}