diff -r cbc435f7b16b -r 9ec4482c9201 doc-src/isar.sty
--- a/doc-src/isar.sty	Thu Nov 13 21:43:46 2008 +0100
+++ b/doc-src/isar.sty	Thu Nov 13 21:45:40 2008 +0100
@@ -20,9 +20,3 @@
 \newcommand{\isasymIMPORTS}{\isakeyword{imports}}
 \newcommand{\isasymIN}{\isakeyword{in}}
 \newcommand{\isasymSTRUCTURE}{\isakeyword{structure}}
-
-\newcommand{\isartrans}[2]{#1 \mathbin{\,\to\,} #2}
-\newcommand{\isarkeep}[1]{#1 \mathbin{\,\to\,} #1}
-\newcommand{\isarantiq}{antiquotation}
-\newcommand{\isarmeth}{method}
-\newcommand{\isaratt}{attribute}