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.
fixed \isasyminv;
authorwenzelm
Sun, 15 Oct 2000 19:51:19 +0200
changeset 10222 027a6f43e408
parent 10221 7171f8ace3c1
child 10223 31346d22bb54
fixed \isasyminv;
doc-src/AxClass/axclass.tex file | annotate | diff | comparison | revisions 
--- a/doc-src/AxClass/axclass.tex	Sun Oct 15 19:50:59 2000 +0200
+++ b/doc-src/AxClass/axclass.tex	Sun Oct 15 19:51:19 2000 +0200
@@ -5,7 +5,7 @@
 \usepackage{../pdfsetup}  % last one!
 
 \isabellestyle{it}
-\newcommand{\isasyminv}{\isamath{{}^{-1}}
+\newcommand{\isasyminv}{\isamath{{}^{-1}}}
 \newcommand{\isasymunit}{\isamath{1}}
 \newcommand{\isasymzero}{\isamath{0}}
isabelle