doc-src/isar.sty
changeset 29727 cda1fb36a082
parent 28761 9ec4482c9201
child 48602 342ca8f3197b
equal deleted inserted replaced
29726:5f91ff5c03a2 29727:cda1fb36a082
     1 
       
     2 %% $Id$
       
     3 
       
     4 \usepackage{ifthen}
     1 \usepackage{ifthen}
     5 
     2 
     6 \newcommand{\indexdef}[3]%
     3 \newcommand{\indexdef}[3]%
     7 {\ifthenelse{\equal{}{#1}}{\index{#3 (#2)|bold}}{\index{#3 (#1\ #2)|bold}}}
     4 {\ifthenelse{\equal{}{#1}}{\index{#3 (#2)|bold}}{\index{#3 (#1\ #2)|bold}}}
     8 \newcommand{\indexref}[3]{\ifthenelse{\equal{}{#1}}{\index{#3 (#2)}}{\index{#3 (#1\ #2)}}}
     5 \newcommand{\indexref}[3]{\ifthenelse{\equal{}{#1}}{\index{#3 (#2)}}{\index{#3 (#1\ #2)}}}
    18 \newcommand{\isasymWHERE}{\isakeyword{where}}
    15 \newcommand{\isasymWHERE}{\isakeyword{where}}
    19 \newcommand{\isasymBEGIN}{\isakeyword{begin}}
    16 \newcommand{\isasymBEGIN}{\isakeyword{begin}}
    20 \newcommand{\isasymIMPORTS}{\isakeyword{imports}}
    17 \newcommand{\isasymIMPORTS}{\isakeyword{imports}}
    21 \newcommand{\isasymIN}{\isakeyword{in}}
    18 \newcommand{\isasymIN}{\isakeyword{in}}
    22 \newcommand{\isasymSTRUCTURE}{\isakeyword{structure}}
    19 \newcommand{\isasymSTRUCTURE}{\isakeyword{structure}}
       
    20 \newcommand{\isasymFIXES}{\isakeyword{fixes}}
       
    21 \newcommand{\isasymASSUMES}{\isakeyword{assumes}}
       
    22 \newcommand{\isasymSHOWS}{\isakeyword{shows}}
       
    23 \newcommand{\isasymOBTAINS}{\isakeyword{obtains}}
       
    24 
       
    25 \newcommand{\isasymASSM}{\isacommand{assm}}