1.1 --- a/doc-src/isar.sty Mon May 05 15:23:21 2008 +0200
1.2 +++ b/doc-src/isar.sty Mon May 05 15:23:59 2008 +0200
1.3 @@ -29,6 +29,8 @@
1.4 \newcommand{\isasymWHERE}{\isakeyword{where}}
1.5 \newcommand{\isasymBEGIN}{\isakeyword{begin}}
1.6 \newcommand{\isasymIMPORTS}{\isakeyword{imports}}
1.7 +\newcommand{\isasymIN}{\isakeyword{in}}
1.8 +\newcommand{\isasymSTRUCTURE}{\isakeyword{structure}}
1.9
1.10 \newcommand{\isarkeyword}[1]{{\mathord{\mathbf{#1}}}}
1.11 \newcommand{\isarcmd}[1]{\isarkeyword{#1}}