doc-src/isar.sty
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}}