# HG changeset patch
# User wenzelm
# Date 1005237895 -3600
# Node ID b9bba87e1d780fcad1f9b7f669db674ab0c59e55
# Parent  a2deb1c3cd9b33c41da6d4e6c7170045c3baf1ff
updated;

diff -r a2deb1c3cd9b -r b9bba87e1d78 doc-src/AxClass/generated/isabellesym.sty
--- a/doc-src/AxClass/generated/isabellesym.sty	Thu Nov 08 17:44:27 2001 +0100
+++ b/doc-src/AxClass/generated/isabellesym.sty	Thu Nov 08 17:44:55 2001 +0100
@@ -336,6 +336,7 @@
 \newcommand{\isasymwrong}{\isamath{\wr}}
 \newcommand{\isasymspacespace}{\isamath{~~}}
 \newcommand{\isasymacute}{\isatext{\'\relax}}
+\newcommand{\isasymstruct}{\isamath{\diamond}}
 \newcommand{\isasymdieresis}{\isatext{\"\relax}}
 \newcommand{\isasymcedilla}{\isatext{\c\relax}}
 \newcommand{\isasymhungarumlaut}{\isatext{\H\relax}}