1.1 --- a/doc-src/AxClass/generated/isabelle.sty	Wed Jan 10 20:19:56 2001 +0100
     1.2 +++ b/doc-src/AxClass/generated/isabelle.sty	Wed Jan 10 20:20:10 2001 +0100
     1.3 @@ -1,5 +1,4 @@
     1.4  %%
     1.5 -%% $Id$
     1.6  %% Author: Markus Wenzel, TU Muenchen
     1.7  %% License: GPL (GNU GENERAL PUBLIC LICENSE)
     1.8  %%

     2.1 --- a/doc-src/AxClass/generated/isabellesym.sty	Wed Jan 10 20:19:56 2001 +0100
     2.2 +++ b/doc-src/AxClass/generated/isabellesym.sty	Wed Jan 10 20:20:10 2001 +0100
     2.3 @@ -1,5 +1,4 @@
     2.4  %%
     2.5 -%% $Id$
     2.6  %% Author: Markus Wenzel, TU Muenchen
     2.7  %% License: GPL (GNU GENERAL PUBLIC LICENSE)
     2.8  %%
     2.9 @@ -289,4 +288,10 @@
    2.10  \newcommand{\isasymmho}{\isamath{\mho}}  %requires latexsym
    2.11  \newcommand{\isasymlozenge}{\isamath{\lozenge}}  %requires amssym
    2.12  \newcommand{\isasymJoin}{\isamath{\Join}}  %requires latexsym
    2.13 +\newcommand{\isasymwrong}{\isamath{\wr}}
    2.14  \newcommand{\isasymspacespace}{\isamath{~~}}
    2.15 +\newcommand{\isasymacute}{\isatext{\'\relax}}
    2.16 +\newcommand{\isasymdieresis}{\isatext{\"\relax}}
    2.17 +\newcommand{\isasymcedilla}{\isatext{\c\relax}}
    2.18 +\newcommand{\isasymhungarumlaut}{\isatext{\H\relax}}
    2.19 +

     3.1 --- a/doc-src/TutorialI/isabellesym.sty	Wed Jan 10 20:19:56 2001 +0100
     3.2 +++ b/doc-src/TutorialI/isabellesym.sty	Wed Jan 10 20:20:10 2001 +0100
     3.3 @@ -288,4 +288,10 @@
     3.4  \newcommand{\isasymmho}{\isamath{\mho}}  %requires latexsym
     3.5  \newcommand{\isasymlozenge}{\isamath{\lozenge}}  %requires amssym
     3.6  \newcommand{\isasymJoin}{\isamath{\Join}}  %requires latexsym
     3.7 +\newcommand{\isasymwrong}{\isamath{\wr}}
     3.8  \newcommand{\isasymspacespace}{\isamath{~~}}
     3.9 +\newcommand{\isasymacute}{\isatext{\'\relax}}
    3.10 +\newcommand{\isasymdieresis}{\isatext{\"\relax}}
    3.11 +\newcommand{\isasymcedilla}{\isatext{\c\relax}}
    3.12 +\newcommand{\isasymhungarumlaut}{\isatext{\H\relax}}
    3.13 +