1.1 --- a/doc-src/isar.sty	Mon Apr 28 14:22:42 2008 +0200
     1.2 +++ b/doc-src/isar.sty	Mon Apr 28 14:41:32 2008 +0200
     1.3 @@ -24,6 +24,10 @@
     1.4  \newcommand{\indexisarmethof}[2]{\indexdef{#1}{method}{#2}}
     1.5  \newcommand{\indexisarattof}[2]{\indexdef{#1}{attribute}{#2}}
     1.6  
     1.7 +\newcommand{\isasymAND}{\isakeyword{and}}
     1.8 +\newcommand{\isasymIS}{\isakeyword{is}}
     1.9 +\newcommand{\isasymWHERE}{\isakeyword{where}}
    1.10 +
    1.11  \newcommand{\isarkeyword}[1]{{\mathord{\mathbf{#1}}}}
    1.12  \newcommand{\isarcmd}[1]{\isarkeyword{#1}}
    1.13  \newcommand{\isartrans}[2]{#1 \mathbin{\,\to\,} #2}