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