1.1 --- a/doc-src/isar.sty	Wed Oct 25 18:33:40 2000 +0200
     1.2 +++ b/doc-src/isar.sty	Wed Oct 25 18:34:10 2000 +0200
     1.3 @@ -21,6 +21,7 @@
     1.4  \newcommand{\isarcmd}[1]{\isarkeyword{#1}}
     1.5  \newcommand{\isartrans}[2]{#1 \mathbin{\,\to\,} #2}
     1.6  \newcommand{\isarkeep}[1]{#1 \mathbin{\,\to\,} #1}
     1.7 +\newcommand{\isarantiq}{antiquotation}
     1.8  \newcommand{\isarmeth}{method}
     1.9  \newcommand{\isaratt}{attribute}
    1.10