# HG changeset patch
# User wenzelm
# Date 1007409569 -3600
# Node ID b05331869f792c0dbbbb9c16f0b1516403be39d0
# Parent  06751df904fb0b192fe0d6ed61261dfd0afa374f
\renewcommand{\isasymzero}, \renewcommand{\isasymone};

diff -r 06751df904fb -r b05331869f79 doc-src/AxClass/axclass.tex
--- a/doc-src/AxClass/axclass.tex	Mon Dec 03 12:06:13 2001 +0100
+++ b/doc-src/AxClass/axclass.tex	Mon Dec 03 20:59:29 2001 +0100
@@ -6,8 +6,8 @@
 
 \isabellestyle{it}
 \newcommand{\isasyminv}{\isamath{{}^{-1}}}
-\newcommand{\isasymunit}{\isamath{1}}
-\newcommand{\isasymzero}{\isamath{0}}
+\renewcommand{\isasymzero}{\isamath{0}}
+\renewcommand{\isasymone}{\isamath{1}}
 
 \newcommand{\secref}[1]{\S\ref{#1}}
 \newcommand{\figref}[1]{figure~\ref{#1}}