1.1 --- a/doc-src/isar.sty	Thu Nov 13 21:43:46 2008 +0100
     1.2 +++ b/doc-src/isar.sty	Thu Nov 13 21:45:40 2008 +0100
     1.3 @@ -20,9 +20,3 @@
     1.4  \newcommand{\isasymIMPORTS}{\isakeyword{imports}}
     1.5  \newcommand{\isasymIN}{\isakeyword{in}}
     1.6  \newcommand{\isasymSTRUCTURE}{\isakeyword{structure}}
     1.7 -
     1.8 -\newcommand{\isartrans}[2]{#1 \mathbin{\,\to\,} #2}
     1.9 -\newcommand{\isarkeep}[1]{#1 \mathbin{\,\to\,} #1}
    1.10 -\newcommand{\isarantiq}{antiquotation}
    1.11 -\newcommand{\isarmeth}{method}
    1.12 -\newcommand{\isaratt}{attribute}