# HG changeset patch
# User wenzelm
# Date 1005687398 -3600
# Node ID 06c3d9a884c5c200e467bec91f25ed0ff2eedf28
# Parent  b1c16d685a99e055b8a95ba9ab28fc2ff36c9b7b
updated;

diff -r b1c16d685a99 -r 06c3d9a884c5 doc-src/AxClass/generated/isabellesym.sty
--- 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}}