added isasymIN/STRUCTURE;
authorwenzelm
Mon May 05 15:23:59 2008 +0200 (2008-05-05)
changeset 267831651ff6a34b5
parent 26782 19363c70b5c4
child 26784 eee21d6d0a6b
added isasymIN/STRUCTURE;
doc-src/isar.sty
     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}}