updated;
authorwenzelm
Tue, 18 Dec 2001 18:37:56 +0100
changeset 12544 c78a00903e52
parent 12543 3e355f0f079f
child 12545 7319d384d0d3
updated;
doc-src/AxClass/generated/isabellesym.sty
--- a/doc-src/AxClass/generated/isabellesym.sty	Tue Dec 18 18:06:10 2001 +0100
+++ b/doc-src/AxClass/generated/isabellesym.sty	Tue Dec 18 18:37:56 2001 +0100
@@ -345,10 +345,10 @@
 \newcommand{\isasymJoin}{\isamath{\Join}}  %requires latexsym
 \newcommand{\isasymwp}{\isamath{\wp}}
 \newcommand{\isasymwrong}{\isamath{\wr}}
-\newcommand{\isasymspacespace}{\isamath{~~}}
+\newcommand{\isasymstruct}{\isamath{\diamond}}
 \newcommand{\isasymacute}{\isatext{\'\relax}}
+\newcommand{\isasymindex}{\isatext{\i}}
 \newcommand{\isasymdieresis}{\isatext{\"\relax}}
-\newcommand{\isasymstruct}{\isamath{\diamond}}
-\newcommand{\isasymindex}{\isamath{\i}}
 \newcommand{\isasymcedilla}{\isatext{\c\relax}}
 \newcommand{\isasymhungarumlaut}{\isatext{\H\relax}}
+\newcommand{\isasymspacespace}{\isamath{~~}}