doc-src/isar.sty
changeset 26769 5b8382d495be
parent 26755 84408d6ff180
child 26783 1651ff6a34b5
--- a/doc-src/isar.sty	Fri May 02 16:36:29 2008 +0200
+++ b/doc-src/isar.sty	Fri May 02 16:38:01 2008 +0200
@@ -27,6 +27,8 @@
 \newcommand{\isasymAND}{\isakeyword{and}}
 \newcommand{\isasymIS}{\isakeyword{is}}
 \newcommand{\isasymWHERE}{\isakeyword{where}}
+\newcommand{\isasymBEGIN}{\isakeyword{begin}}
+\newcommand{\isasymIMPORTS}{\isakeyword{imports}}
 
 \newcommand{\isarkeyword}[1]{{\mathord{\mathbf{#1}}}}
 \newcommand{\isarcmd}[1]{\isarkeyword{#1}}