updated;
authorwenzelm
Tue Nov 13 22:36:38 2001 +0100 (2001-11-13)
changeset 1217806c3d9a884c5
parent 12177 b1c16d685a99
child 12179 5b427479cc14
updated;
doc-src/AxClass/generated/isabellesym.sty
     1.1 --- a/doc-src/AxClass/generated/isabellesym.sty	Tue Nov 13 22:25:59 2001 +0100
     1.2 +++ b/doc-src/AxClass/generated/isabellesym.sty	Tue Nov 13 22:36:38 2001 +0100
     1.3 @@ -336,7 +336,8 @@
     1.4  \newcommand{\isasymwrong}{\isamath{\wr}}
     1.5  \newcommand{\isasymspacespace}{\isamath{~~}}
     1.6  \newcommand{\isasymacute}{\isatext{\'\relax}}
     1.7 +\newcommand{\isasymdieresis}{\isatext{\"\relax}}
     1.8  \newcommand{\isasymstruct}{\isamath{\diamond}}
     1.9 -\newcommand{\isasymdieresis}{\isatext{\"\relax}}
    1.10 +\newcommand{\isasymindex}{\isamath{\i}}
    1.11  \newcommand{\isasymcedilla}{\isatext{\c\relax}}
    1.12  \newcommand{\isasymhungarumlaut}{\isatext{\H\relax}}