Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
\renewcommand{\isasymzero}, \renewcommand{\isasymone};
authorwenzelm
Mon, 03 Dec 2001 20:59:29 +0100
changeset 12343 b05331869f79
parent 12342 06751df904fb
child 12344 7237c6497cb1
\renewcommand{\isasymzero}, \renewcommand{\isasymone};
doc-src/AxClass/axclass.tex file | annotate | diff | comparison | revisions 
--- 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}}
isabelle