# HG changeset patch
# User wenzelm
# Date 1209386492 -7200
# Node ID 84408d6ff180c40b8bce3a233f7b7a0ba176f064
# Parent  c0424e4de33d0a1ad2b4278f4130e1b4afc2bd26
added AND, IS, WHERE symbols;

diff -r c0424e4de33d -r 84408d6ff180 doc-src/isar.sty
--- a/doc-src/isar.sty	Mon Apr 28 14:22:42 2008 +0200
+++ b/doc-src/isar.sty	Mon Apr 28 14:41:32 2008 +0200
@@ -24,6 +24,10 @@
 \newcommand{\indexisarmethof}[2]{\indexdef{#1}{method}{#2}}
 \newcommand{\indexisarattof}[2]{\indexdef{#1}{attribute}{#2}}
 
+\newcommand{\isasymAND}{\isakeyword{and}}
+\newcommand{\isasymIS}{\isakeyword{is}}
+\newcommand{\isasymWHERE}{\isakeyword{where}}
+
 \newcommand{\isarkeyword}[1]{{\mathord{\mathbf{#1}}}}
 \newcommand{\isarcmd}[1]{\isarkeyword{#1}}
 \newcommand{\isartrans}[2]{#1 \mathbin{\,\to\,} #2}