| changeset 26783 | 1651ff6a34b5 |
| parent 26769 | 5b8382d495be |
| child 26863 | cc779d3da712 |
--- a/doc-src/isar.sty Mon May 05 15:23:21 2008 +0200 +++ b/doc-src/isar.sty Mon May 05 15:23:59 2008 +0200 @@ -29,6 +29,8 @@ \newcommand{\isasymWHERE}{\isakeyword{where}} \newcommand{\isasymBEGIN}{\isakeyword{begin}} \newcommand{\isasymIMPORTS}{\isakeyword{imports}} +\newcommand{\isasymIN}{\isakeyword{in}} +\newcommand{\isasymSTRUCTURE}{\isakeyword{structure}} \newcommand{\isarkeyword}[1]{{\mathord{\mathbf{#1}}}} \newcommand{\isarcmd}[1]{\isarkeyword{#1}}